Extract path to local variable.

matlorr · matlorr · commit 7faf513d9437 · 2025-07-15T17:43:36.000+02:00
diff --git a/relay/src/serverProcess.ts b/relay/src/serverProcess.ts
@@ -79,8 +79,9 @@ export class GameManager {
           { cwd: path.join(this.dir, "..", "..", "..", "server", ".lake", "build", "bin") });
       }
     } else {
+      const lean4GameFolder = path.join(this.dir, '..', '..', '..')
       serverProcess = cp.spawn("../../scripts/bubblewrap.sh",
-        [game_dir, path.join(this.dir, '..', '..', '..')],
+        [game_dir, lean4GameFolder],
         { cwd: this.dir });
     }
 

Original file line number	Diff line number	Diff line change
`@@ -79,8 +79,9 @@ export class GameManager {`
`79`	`79`	`{ cwd: path.join(this.dir, "..", "..", "..", "server", ".lake", "build", "bin") });`
`80`	`80`	`}`
`81`	`81`	`} else {`
	`82`	`+ const lean4GameFolder = path.join(this.dir, '..', '..', '..')`
`82`	`83`	`serverProcess = cp.spawn("../../scripts/bubblewrap.sh",`
`83`		`- [game_dir, path.join(this.dir, '..', '..', '..')],`
	`84`	`+ [game_dir, lean4GameFolder],`
`84`	`85`	`{ cwd: this.dir });`
`85`	`86`	`}`
`86`	`87`