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