|
|
|
@ -19,7 +19,7 @@ fi
|
|
|
|
|
if [ "$PROD_PID" ]; then
|
|
|
|
|
#will cause the old server to gracefully shutdown
|
|
|
|
|
echo "shutting down old server version ..."
|
|
|
|
|
kill -s SIGQUIT "$PROD_PID"
|
|
|
|
|
kill -s SIGINT "$PROD_PID"
|
|
|
|
|
while [ ! "$(prod_pid)" ]; do sleep 1; done #sleep until process ends
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|