diff options
author | Sree Harsha Totakura <totakura@in.tum.de> | 2013-04-04 09:25:22 +0000 |
---|---|---|
committer | Sree Harsha Totakura <totakura@in.tum.de> | 2013-04-04 09:25:22 +0000 |
commit | ed18131bd038617c03e0b3b83e3eb56c31dc3e4a (patch) | |
tree | e0064a5836293fa73ff6425d793cd6a1bba570cc /contrib/testbed_cleanup.sh | |
parent | 72120785cf499a4ba0159df9d8867bb1486d4a03 (diff) | |
download | gnunet-ed18131bd038617c03e0b3b83e3eb56c31dc3e4a.tar.gz gnunet-ed18131bd038617c03e0b3b83e3eb56c31dc3e4a.zip |
- remove hosts with older kernel
Diffstat (limited to 'contrib/testbed_cleanup.sh')
-rwxr-xr-x | contrib/testbed_cleanup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/testbed_cleanup.sh b/contrib/testbed_cleanup.sh index 5e87de108..57413fba0 100755 --- a/contrib/testbed_cleanup.sh +++ b/contrib/testbed_cleanup.sh | |||
@@ -10,5 +10,5 @@ | |||
10 | for host in `cut -d : -f 1 < infiniband_cluster.hosts | cut -d @ -f 2` | 10 | for host in `cut -d : -f 1 < infiniband_cluster.hosts | cut -d @ -f 2` |
11 | do | 11 | do |
12 | echo "ssh --> $host" | 12 | echo "ssh --> $host" |
13 | ssh $host 'pkill gnunet; rm -rf /tmp/gnunet-pipe*; rm -rf /tmp/testbed*' | 13 | ssh $host 'pkill -SIGKILL gnunet; rm -rf /tmp/gnunet-pipe*; rm -rf /tmp/testbed*' |
14 | done | 14 | done |