- decrease timeout

[oweals/gnunet.git] / contrib / testbed_cleanup.sh

diff --git a/contrib/testbed_cleanup.sh b/contrib/testbed_cleanup.sh
index b254c43c5f815bb3eec87b6921894b88df618ec5..57413fba0a5510d6f81da1287fa172e6ec3a09f4 100755 (executable)
--- a/contrib/testbed_cleanup.sh
+++ b/contrib/testbed_cleanup.sh
@@ -7,8 +7,8 @@
 # Author: Sree Harsha Totakura                                                   #
 ###################################################################################
 
-for host in `cut -d : -f 1 < infiniband_cluster.hosts`
+for host in `cut -d : -f 1 < infiniband_cluster.hosts | cut -d @ -f 2`
 do
     echo "ssh --> $host"
-    ssh $host 'pkill gnunet; rm -rf /tmp/gnunet-pipe*; rm -rf /tmp/testbed*'
+    ssh $host 'pkill -SIGKILL gnunet; rm -rf /tmp/gnunet-pipe*; rm -rf /tmp/testbed*'
 done