Fix issue with server/server

This commit is contained in:
Simon Vieille 2018-02-14 12:15:53 +01:00
parent 53a33077f9
commit 2f73bd0b59
No known key found for this signature in database
GPG key ID: 919533E2B946EA10

View file

@ -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() {