diff --git a/kill_node.sh b/kill_node.sh index f24623082..0d57b3253 100755 --- a/kill_node.sh +++ b/kill_node.sh @@ -1,4 +1,4 @@ -for pid in `/bin/ps -fu $USER| grep "benchmark\|txgen" | grep -v "grep" | awk '{print $2}'`; +for pid in `/bin/ps -fu $USER| grep "benchmark\|txgen\|soldier\|commander" | grep -v "grep" | awk '{print $2}'`; do echo 'Killed process: '$pid kill -9 $pid