diff --git a/tools/profiling/dump_node b/tools/profiling/dump_node new file mode 100755 index 00000000..34d4b630 --- /dev/null +++ b/tools/profiling/dump_node @@ -0,0 +1,13 @@ +#! /bin/sh + +NODE="${1:-localhost}" +PORT="${2:-4949}" + +{ + for plugin in $(echo "list" | nc "$NODE" "$PORT" | tail -n 1) + do + echo "config $plugin" + echo "fetch $plugin" + done + echo "quit" +} | nc "$NODE" "$PORT"