From 8ac2a05b365038de36ecac937a15f978bb16ab93 Mon Sep 17 00:00:00 2001 From: Martin Schanzenbach Date: Tue, 12 Oct 2021 10:04:50 +0200 Subject: BUILD: Kill infiniband --- contrib/scripts/testbed_cleanup.sh | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 contrib/scripts/testbed_cleanup.sh (limited to 'contrib/scripts') 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 @@ -#!/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 -- cgit v1.2.3