| commit | 0745618db372792262e7fc65c13f7e42071dae74 | [log] [tgz] |
|---|---|---|
| author | Jan Kundrát <jan.kundrat@cesnet.cz> | Tue Nov 24 10:30:54 2020 +0100 |
| committer | Gerrit Code Review <gerrit@gerrit.cesnet.cz> | Tue Nov 24 10:30:54 2020 +0100 |
| tree | 4be0f4707758f9b44138276d61c16ed0c28ca980 | |
| parent | 805d02c3d503754630a334772545c92c0a84628f [diff] | |
| parent | 68fd32ebdf145d7877d0d495b4f167709f9d5447 [diff] |
Merge "Remove unused script"
diff --git a/tests/kill_daemons.sh b/tests/kill_daemons.sh deleted file mode 100755 index 87fb07e..0000000 --- a/tests/kill_daemons.sh +++ /dev/null
@@ -1,6 +0,0 @@ -set -eux -o pipefail -shopt -s failglob - -RET=0 -pkill -9 netopeer2 || RET=$? -exit $RET