blob: 5e87de10815c459a616a03a8b5d93f705a585d5b (
plain) (
blame)
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 gnunet; rm -rf /tmp/gnunet-pipe*; rm -rf /tmp/testbed*'
done
|