From 09160b20cf63053f3db874b1e0b4d196cec0df9f Mon Sep 17 00:00:00 2001
From: Rongjian Lan <rongjian.lan@gmail.com>
Date: Wed, 27 Jun 2018 13:32:39 -0700
Subject: [PATCH] Fix kill_node.sh after the recent change

---
 kill_node.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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