ignore kill process errors

This commit is contained in:
blagoev 2017-09-21 16:12:43 +03:00
parent 4f5e51430c
commit 988a86ff19
1 changed files with 1 additions and 1 deletions

View File

@ -64,7 +64,7 @@ stop_server() {
echo stopping server echo stopping server
if [[ ${SERVER_PID} -gt 0 ]] ; then if [[ ${SERVER_PID} -gt 0 ]] ; then
echo server is running. killing it echo server is running. killing it
kill -9 ${SERVER_PID} kill -9 ${SERVER_PID} || true
fi fi
} }