From 758da7865941d4243ceacaa44f055cb7678c28bc Mon Sep 17 00:00:00 2001
From: Bruno Windels <brunow@matrix.org>
Date: Fri, 27 Jul 2018 18:43:40 +0200
Subject: [PATCH] dont fail when trying to stop riot and its not running

---
 riot/stop.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/riot/stop.sh b/riot/stop.sh
index a3dc722e58..7ed18887f9 100755
--- a/riot/stop.sh
+++ b/riot/stop.sh
@@ -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