Use the KILL signal when killing the server

2016-12-07 13:28:05 +01:00 · 2016-12-07 13:28:05 +01:00 · 50d8a55d3f
parent 19d82caec4
commit 50d8a55d3f
1 changed files with 1 additions and 1 deletions
--- a/scripts/test.sh
+++ b/scripts/test.sh
@ -40,7 +40,7 @@ start_server() {

 stop_server() {
  if [[ ${SERVER_PID} > 0 ]] ; then
-    kill ${SERVER_PID}
+    kill -9 ${SERVER_PID}
  fi
 }