fix #19

leanprover-community · Dec 17, 2023 · 19a307d · 19a307d
1 parent 68c0d9a
commit 19a307d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/server/WebsocketServer.js b/server/WebsocketServer.js
@@ -107,8 +107,8 @@ class ClientConnection {
       cwd = __dirname;
     } else{
       console.warn("Running without Bubblewrap container!")
-      cmd = "lean";
-      cmdArgs = ["--server"];
+      cmd = "lake";
+      cmdArgs = ["serve", "--"];
       cwd = path
     }
 

diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh
@@ -22,5 +22,5 @@ ELAN_HOME=$(cd $1 && lake env printenv ELAN_HOME)
   --unshare-cgroup \
   --die-with-parent \
   --chdir "/project/" \
-  lean --server
+  lake serve --
 )