blob: ee0200d44177f63d5a182cc07fb98480725f2851 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/sh
###################################################################################
# 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
|