diff options
| author | notoraptor <notoraptor@users.noreply.github.com> | 2019-07-18 12:19:37 -0400 |
|---|---|---|
| committer | Philip Paquette <pcpaquette@gmail.com> | 2019-07-18 12:19:37 -0400 |
| commit | f8ee5f84abc5c9d0d56402f2943abad1dc74d3dd (patch) | |
| tree | 8f672a9a6029f172ac0c3651dcfa4c03040cd32f /diplomacy/utils/sorted_set.py | |
| parent | 2701df1e3b03c7c605ccf212a02987d53fbd0609 (diff) | |
Open DAIDE port on game loading and display on web
- 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.
Diffstat (limited to 'diplomacy/utils/sorted_set.py')
0 files changed, 0 insertions, 0 deletions