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 #
7 # Author: Sree Harsha Totakura #
8 ###################################################################################
10 for host in `cut -d : -f 1 < infiniband_cluster.hosts | cut -d @ -f 2`
13 ssh $host 'pkill -SIGKILL gnunet; rm -rf /tmp/gnunet-pipe*; rm -rf /tmp/testbed*'