Forgot to terminate the emergency button.

[features.git] / development / autotests / run-tests.sh

diff --git a/development/autotests/run-tests.sh b/development/autotests/run-tests.sh
index 8b807c2f04163e5ab3742ffcb9c6a3aba94e81c7..7dca86418ee03e233661d999947fadbcc668bdaa 100755 (executable)
--- a/development/autotests/run-tests.sh
+++ b/development/autotests/run-tests.sh
@@ -63,6 +63,8 @@ for t in $(echo "$TESTS" | sed -e 's/-in.txt//g'); do
     fi;
 done
 
+killall -w stop_autotests.tcl
+
 echo
 if [ $failed -eq 0 ]; then
     echo "All tests SUCCESSFUL"