Browse Source

use envar for php (PHP)

develop
Simon Vieille 2 months ago
parent
commit
c947fe01b3
Signed by: Simon Vieille <simon@deblan.fr> GPG Key ID: 03383D15A1D31745
1 changed files with 5 additions and 1 deletions
  1. 5
    1
      server/server

+ 5
- 1
server/server View File

@@ -3,6 +3,10 @@
3 3
 ACTION=start
4 4
 PID_PATH=/tmp/remote_i3wm_ws.pid
5 5
 
6
+if [ -z "$PHP" ]; then
7
+	PHP=php
8
+fi
9
+
6 10
 ri3wmws_stop() {
7 11
     if [ -f "$PID_PATH" ]; then
8 12
         PID=$(cat "$PID_PATH")
@@ -23,7 +27,7 @@ ri3wmws_start() {
23 27
     if [ -f "$PID_PATH" ]; then
24 28
         printf "Server already started\n"
25 29
     else
26
-        php src/resource/server.php "$REMOTE_I3WM_WS_OPTIONS" &
30
+        $PHP src/resource/server.php "$REMOTE_I3WM_WS_OPTIONS" &
27 31
         PID=$!
28 32
 
29 33
         printf $PID > "$PID_PATH"

Loading…
Cancel
Save