blob: 57413fba0a5510d6f81da1287fa172e6ec3a09f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/bash
###################################################################################
# Script to clean a previous run of testbed which has crashed. This scripts kills #
# the peers and cleans the temporary files created for those peers #
# #
# Author: Sree Harsha Totakura #
###################################################################################
for host in `cut -d : -f 1 < infiniband_cluster.hosts | cut -d @ -f 2`
do
echo "ssh --> $host"
ssh $host 'pkill -SIGKILL gnunet; rm -rf /tmp/gnunet-pipe*; rm -rf /tmp/testbed*'
done
|
