User SIGINT instead of SIGKILL to stop server

This commit is contained in:
Ben Peddell 2015-07-20 10:51:56 +10:00
parent 93d9883ced
commit 2110bc7fa6

View File

@ -328,7 +328,7 @@ doStop() {
echo "Stopping server..."
# kill the server with the PID
PID=`ps -ef | grep "$arkserverroot/$arkserverexec" | grep -v grep | awk '{print $2}'`
kill -9 $PID
kill -INT $PID
tput rc; tput ed;
echo "The server has been stopped"