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

Update troubleshoot.md

Browse Source
This commit is contained in:
Jon Eugster
2024-01-18 13:51:33 +01:00
committed by GitHub
parent 20ca385e14
commit 16ff701518
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/troubleshoot.md
+5
View File
@@ -21,3 +21,8 @@ Here are known issues/pitfalls with the local setup using `npm`.
[server] npm run start_server exited with code 1 [server] npm run start_server exited with code 1
``` ```
As a fix you might need to delete your manually set `CDPATH` environment variable. As a fix you might need to delete your manually set `CDPATH` environment variable.
# Publication
Errors concerning uploads to the server.
* Your game overview loads but the server crashes on loading a level: Check your game's github action is identical to the [GameSkeleton's](https://github.com/hhu-adam/GameSkeleton/blob/main/.github/workflows/build.yml), in particular that there is a step about building the "`gameserver`-executable".