phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix gameserver path

Browse Source
This commit is contained in:
Jon Eugster
2023-12-08 20:38:35 +01:00
parent 72e4011c62
commit 13d54ff0ff
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
server/index.mjs
+1 -1
View File
@@ -95,7 +95,7 @@ function startServerProcess(owner, repo) {
let serverProcess
if (isDevelopment) {
let args = ["--server", game_dir]
let executable = path.join(game_dir, ".lake", "packages", "GameServer", ".lake", "build", "bin", "gameserver")
let executable = path.join(game_dir, ".lake", "packages", "GameServer", "server", ".lake", "build", "bin", "gameserver")
if (fs.existsSync(executable)) {
// Try to use the game's own copy of `gameserver`.
serverProcess = cp.spawn(executable, args, { cwd: game_dir })