From ed18131bd038617c03e0b3b83e3eb56c31dc3e4a Mon Sep 17 00:00:00 2001 From: Sree Harsha Totakura Date: Thu, 4 Apr 2013 09:25:22 +0000 Subject: - remove hosts with older kernel --- contrib/testbed_cleanup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'contrib/testbed_cleanup.sh') diff --git a/contrib/testbed_cleanup.sh b/contrib/testbed_cleanup.sh index 5e87de108..57413fba0 100755 --- a/contrib/testbed_cleanup.sh +++ b/contrib/testbed_cleanup.sh @@ -10,5 +10,5 @@ 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 -- cgit v1.2.3