main #1

Merged
daniel156161 merged 15 commits from main into dev 2024-04-13 03:03:13 +02:00
Showing only changes of commit 55c4a8aa72 - Show all commits
+4
View File
@@ -28,4 +28,8 @@ if __name__ == "__main__":
port=int(os.environ.get("PORT", "8000")), port=int(os.environ.get("PORT", "8000")),
debug=bool(os.environ.get("debug", False)), debug=bool(os.environ.get("debug", False)),
) )
if os.environ.get("store_game", None):
server.enable_store_game_state()
server.run() server.run()