aboutsummaryrefslogtreecommitdiff
path: root/contrib/scripts
diff options
context:
space:
mode:
authorMartin Schanzenbach <mschanzenbach@posteo.de>2021-10-12 10:04:50 +0200
committerMartin Schanzenbach <mschanzenbach@posteo.de>2021-10-12 10:04:50 +0200
commit8ac2a05b365038de36ecac937a15f978bb16ab93 (patch)
treeae2cd3bf8da443066784b8b5edd8f07cd03086e7 /contrib/scripts
parent78621021635e673407195a4fdf79467573f9dbda (diff)
downloadgnunet-8ac2a05b365038de36ecac937a15f978bb16ab93.tar.gz
gnunet-8ac2a05b365038de36ecac937a15f978bb16ab93.zip
BUILD: Kill infiniband
Diffstat (limited to 'contrib/scripts')
-rwxr-xr-xcontrib/scripts/testbed_cleanup.sh14
1 files changed, 0 insertions, 14 deletions
diff --git a/contrib/scripts/testbed_cleanup.sh b/contrib/scripts/testbed_cleanup.sh
deleted file mode 100755
index ee0200d44..000000000
--- a/contrib/scripts/testbed_cleanup.sh
+++ /dev/null
@@ -1,14 +0,0 @@
1#!/bin/sh
2
3###################################################################################
4# Script to clean a previous run of testbed which has crashed. This scripts kills #
5# the peers and cleans the temporary files created for those peers #
6# #
7# Author: Sree Harsha Totakura #
8###################################################################################
9
10for host in `cut -d : -f 1 < infiniband_cluster.hosts | cut -d @ -f 2`
11do
12 echo "ssh --> $host"
13 ssh $host 'pkill -SIGKILL gnunet; rm -rf /tmp/gnunet-pipe*; rm -rf /tmp/testbed*'
14done