From 61eb6666e37e2eb53a7e12d81813d7dbd4583aea Mon Sep 17 00:00:00 2001
From: Simon Vieille <simon@deblan.fr>
Date: Mon, 11 Apr 2022 18:58:01 +0200
Subject: [PATCH] replace REMOTE_I3WM_WS_OPTIONS with SERVER_OPTIONS

---
 README.md     | 2 +-
 server/server | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 376f8df..f62d358 100644
--- a/README.md
+++ b/README.md
@@ -51,7 +51,7 @@ Open `http://your.local.ip:15000` and enjoy!
 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 stop
 $ server/server restart
diff --git a/server/server b/server/server
index f43c092..ff5fab4 100755
--- a/server/server
+++ b/server/server
@@ -27,7 +27,7 @@ ri3wmws_start() {
     if [ -f "$PID_PATH" ]; then
         printf "Server already started\n"
     else
-        $PHP src/resource/server.php "$REMOTE_I3WM_WS_OPTIONS" &
+        $PHP src/resource/server.php "$SERVER_OPTIONS" &
         PID=$!
 
         printf $PID > "$PID_PATH"