dont fail when trying to stop riot and its not running

pull/21833/head
Bruno Windels 2018-07-27 18:43:40 +02:00
parent 5cd52e2ebd
commit 758da78659
1 changed files with 5 additions and 2 deletions

View File

@ -2,5 +2,8 @@
BASE_DIR=$(readlink -f $(dirname $0))
cd $BASE_DIR
PIDFILE=riot.pid
kill $(cat $PIDFILE)
rm $PIDFILE
if [ -f $PIDFILE ]; then
echo "stopping riot server ..."
kill $(cat $PIDFILE)
rm $PIDFILE
fi