test-suite/start-test-suite.sh
changeset 638 61dc5370b351
parent 637 71d87ca43d6a
child 641 8f7dafe42d15
child 642 5d037d947cd6
--- a/test-suite/start-test-suite.sh	Thu Apr 17 18:38:19 2014 +0200
+++ b/test-suite/start-test-suite.sh	Fri Apr 18 18:02:06 2014 +0200
@@ -77,7 +77,12 @@
 echo "---------------------"
 echo "$KARMA start $@"
 "$KARMA" start $@
-# echo "Kill test server pid $TESTSERVER_PID"
-# echo "---------------------"
-# kill $TESTSERVER_PID
+
+read -p "Keep testserver (PID $TESTSERVER_PID) running ? (y/N)" -n 1 -r -t 5
+echo    # (optional) move to a new line
 
+if [[ $REPLY =~ ^[Yy]$ ]]; then
+	exit 0
+fi
+
+kill $TESTSERVER_PID