From 2f73bd0b5991f07bec1fc29bb6fd9988044d2f15 Mon Sep 17 00:00:00 2001
From: Simon Vieille <simon@deblan.fr>
Date: Wed, 14 Feb 2018 12:15:53 +0100
Subject: [PATCH] Fix issue with server/server

---
 server/server | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/server/server b/server/server
index 5566a82..fda2ab2 100755
--- a/server/server
+++ b/server/server
@@ -20,12 +20,16 @@ ri3wmws_stop() {
 }
 
 ri3wmws_start() {
-    php src/resource/server.php "$REMOTE_I3WM_WS_OPTIONS" &
-    PID=$!
+    if [ -f "$PID_PATH" ]; then
+        printf "Server already started\n"
+    else
+        php src/resource/server.php "$REMOTE_I3WM_WS_OPTIONS" &
+        PID=$!
 
-    printf $PID > "$PID_PATH"
-    chmod 600 "$PID_PATH"
-    printf "Server is running\n"
+        printf $PID > "$PID_PATH"
+        chmod 600 "$PID_PATH"
+        printf "Server is running\n"
+    fi
 }
 
 ri3wmws_restart() {