replace REMOTE_I3WM_WS_OPTIONS with SERVER_OPTIONS

This commit is contained in:
Simon Vieille 2022-04-11 18:58:01 +02:00
parent f29e7ca48f
commit 61eb6666e3
Signed by: deblan
GPG key ID: 03383D15A1D31745
2 changed files with 2 additions and 2 deletions

View file

@ -51,7 +51,7 @@ Open `http://your.local.ip:15000` and enjoy!
If you want to start/stop/restart the websocket easily: If you want to start/stop/restart the websocket easily:
``` ```
$ export REMOTE_I3WM_WS_OPTIONS="-v" $ export SERVER_OPTIONS="-v"
$ server/server start $ server/server start
$ server/server stop $ server/server stop
$ server/server restart $ server/server restart

View file

@ -27,7 +27,7 @@ ri3wmws_start() {
if [ -f "$PID_PATH" ]; then if [ -f "$PID_PATH" ]; then
printf "Server already started\n" printf "Server already started\n"
else else
$PHP src/resource/server.php "$REMOTE_I3WM_WS_OPTIONS" & $PHP src/resource/server.php "$SERVER_OPTIONS" &
PID=$! PID=$!
printf $PID > "$PID_PATH" printf $PID > "$PID_PATH"