From 7ae650992151a2049839788ded48b70e768dc6d9 Mon Sep 17 00:00:00 2001 From: marvin08 Date: Wed, 13 Dec 2017 02:27:38 +0530 Subject: [PATCH] Fixes #1560 : Running start.sh twice does not kill service now --- bin/.preload.sh | 2 +- html/index.html | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/.preload.sh b/bin/.preload.sh index e0bb8ad2a..c87019a12 100644 --- a/bin/.preload.sh +++ b/bin/.preload.sh @@ -15,7 +15,7 @@ mkdir -p data/settings #to not allow process to overwrite the already running one. if [ -f $PIDFILE ]; then PID=$(cat $PIDFILE 2>/dev/null) - if kill $PID > /dev/null 2>&1; then + if [ -n $PID ]; then echo "Server is already running, please stop it and then start" exit 1 else diff --git a/html/index.html b/html/index.html index cacce9999..296172d9b 100755 --- a/html/index.html +++ b/html/index.html @@ -231,6 +231,7 @@

Open Source

Code