| Age | Commit message (Collapse) | Author |
|---|
|
|
|
- Reformatted the docstring to be compatible
- Added tests to make sure the documentation compiles properly
- Added sphinx as a pip requirement
Co-authored-by: Philip Paquette <pcpaquette@gmail.com>
Co-authored-by: notoraptor <stevenbocco@gmail.com>
|
|
- Fixed bug with incorrect dislodged unit on pure map
- [python] Make sure dummy powers are registered only for standard maps.
- Hardcoded supply centers into SVG files.
- Removed supply centers CSS classes.
- Update positions for units and dislodged units on all maps.
- Converted SVGs to React.
- Removed "sym" classes and hardcode related styles into symbol definitions.
- Reordered map list (standard at top, then other ones in alphabetical order)
- Displayed + button for all maps and disable it for maps without variants.
- Minified generated code when converting SVG files to React.
- [web] Added ability to hide/display map abbreviations.
|
|
|
|
- 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
|
|
|
|
|
