| Age | Commit message (Collapse) | Author |
|---|
|
- Added __enter__, __exit__, and .current_state() to game object
- set_orders throws an exception is the server phase is not the same as the client phase
- Returning only waiting dummy powers to bot
|
|
|
|
- Open DAIDE port on game loading too, and [web] Display DAIDE port on game title.
- [server] Also delete backup game file when deleting game.
- [python]
Add optional parameter `server` to ServerGame constructor to init server game with a server as soon as it is possible.
Add field `daide_port` to Game for client games.
When creating game, register it on server before generating client games, so that DAIDE ports are known on client game generation.
Move DAIDE port opening into Server.add_new_game() and Server.get_game(), so that port is opened as soon as a new game is added or a game is loaded.
Move DAIDE port closing for specific game into Server.delete_game().
Add DAIDE port to client game field daide_port if known.
[web]
Display DAIDE port if available in game title on game page.
- [python] Display game ID in log when opening DAIDE port.
- [server] Close DAIDE port as soon as game is done.
- Update dependencies.
|
|
- [server] Also delete game from RAM.
|
|
- Ability to open and close port when DAIDE games are started and stopped
- Can get the DAIDE port using a request
|
|
|
|
|
