Merge pull request #1022 from liqd/2016-12-12-mf-fix-shutdown-script

Fix shutdown script
liqd · Dec 12, 2016 · fc000a5 · fc000a5
2 parents 71adf4d + 44619e5
commit fc000a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/shutdown.sh b/scripts/shutdown.sh
@@ -14,7 +14,7 @@ for i in `ls $AULA_ROOT_PATH/run`; do
     pidfile=$AULA_ROOT_PATH/run/$i
     pid=`cat $pidfile`
     echo -n " $pid"
-    kill $pid || echo "(pid file must have been stale)"
+    kill -INT $pid || echo "(pid file must have been stale)"
     while (ps -ax | grep '^\s*'$pid | grep -q 'aula-server$'); do
         echo -n '.'; sleep 0.42
     done