fix bubblewrap script

server/bubblewrap.sh

@@ -26,6 +26,6 @@ ELAN_HOME=$(lake env printenv ELAN_HOME)
   --unshare-uts  \
   --unshare-cgroup \
   --die-with-parent \
-  --chdir "/lean4game/server/.lake/build/bin/" \
-  $3 --server /game
+  --chdir "/game/.lake/packages/GameServer/server/.lake/build/bin/" \
+  ./gameserver --server /game
 )

server/index.mjs

@@ -106,11 +106,11 @@ function startServerProcess(owner, repo) {
     }
   } else {
     serverProcess =  cp.spawn("./bubblewrap.sh",
-      [ game_dir,
-        path.join(__dirname, '..'),
-        path.join(game_dir, ".lake", "packages", "GameServer", ".lake", "build", "bin", "gameserver")],
+      [ game_dir, path.join(__dirname, '..')],
       { cwd: __dirname })
   }
+
+
   serverProcess.on('error', error =>
     console.error(`Launching Lean Server failed: ${error}`)
   )