diff options
author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2021-10-12 10:04:50 +0200 |
---|---|---|
committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2021-10-12 10:04:50 +0200 |
commit | 8ac2a05b365038de36ecac937a15f978bb16ab93 (patch) | |
tree | ae2cd3bf8da443066784b8b5edd8f07cd03086e7 /contrib/scripts | |
parent | 78621021635e673407195a4fdf79467573f9dbda (diff) | |
download | gnunet-8ac2a05b365038de36ecac937a15f978bb16ab93.tar.gz gnunet-8ac2a05b365038de36ecac937a15f978bb16ab93.zip |
BUILD: Kill infiniband
Diffstat (limited to 'contrib/scripts')
-rwxr-xr-x | contrib/scripts/testbed_cleanup.sh | 14 |
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 | |||
10 | for host in `cut -d : -f 1 < infiniband_cluster.hosts | cut -d @ -f 2` | ||
11 | do | ||
12 | echo "ssh --> $host" | ||
13 | ssh $host 'pkill -SIGKILL gnunet; rm -rf /tmp/gnunet-pipe*; rm -rf /tmp/testbed*' | ||
14 | done | ||