X-Git-Url: https://git.librecmc.org/?a=blobdiff_plain;f=contrib%2Ftestbed_cleanup.sh;h=57413fba0a5510d6f81da1287fa172e6ec3a09f4;hb=f02bdf449974e76388e1fd5dff03f6c4e6bc39fd;hp=5e87de10815c459a616a03a8b5d93f705a585d5b;hpb=47740ec74133843f1c67106ab255c324b4e803ea;p=oweals%2Fgnunet.git

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