From eb17fc324cdb1792914c529afa44131e6cdae80f Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Wed, 11 Oct 2023 13:56:16 +0200
Subject: [PATCH] fix path of LeanProject in dev mode

#Fixes #2
---
 server/WebsocketServer.js | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/server/WebsocketServer.js b/server/WebsocketServer.js
index 685205a4..92b52e4f 100644
--- a/server/WebsocketServer.js
+++ b/server/WebsocketServer.js
@@ -96,18 +96,19 @@ class ClientConnection {
   }
 
   startProcess () {
-    let cmd, cmdArgs;
+    let cmd, cmdArgs, cwd;
     if (this.useBubblewrap) {
       cmd = "./bubblewrap.sh";
-      // Note for MacOS: use "--platform=linux/amd64"
       cmdArgs = [];
+      cwd = __dirname;
     } else{
       console.warn("Running without Bubblewrap container!")
       cmd = "lean";
       cmdArgs = ["--server"];
+      cwd = __dirname + "/LeanProject";
     }
 
-    this.lean = spawn(cmd, cmdArgs, { cwd: __dirname })
+    this.lean = spawn(cmd, cmdArgs, { cwd })
   }
 }