fix path of LeanProject in dev mode

#Fixes #2
leanprover-community · Oct 11, 2023 · eb17fc3 · eb17fc3
1 parent da78703
commit eb17fc3
Showing 1 changed file with 4 additions and 3 deletions.
diff --git 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 })
   }
 }