summaryrefslogtreecommitdiff
path: root/contrib/testbed_cleanup.sh
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/testbed_cleanup.sh')
-rwxr-xr-xcontrib/testbed_cleanup.sh2
1 files changed, 1 insertions, 1 deletions
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