diff options
Diffstat (limited to 'contrib/scripts/testbed_cleanup.sh')
-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 | ||