diff options
| author | notoraptor <notoraptor@users.noreply.github.com> | 2019-07-16 10:39:16 -0400 |
|---|---|---|
| committer | Philip Paquette <pcpaquette@gmail.com> | 2019-07-16 10:39:16 -0400 |
| commit | 09be214dfa0741df2399c3e0c928929138de226b (patch) | |
| tree | 3d76cb1d9e6f3cd5452563b476fb251103fd3ec7 /diplomacy/server/server.py | |
| parent | 5c71a0f73717bffefb5e23a9e100adb62fc54a61 (diff) | |
[web] Add a button to delete game. (#39)
- [server] Also delete game from RAM.
Diffstat (limited to 'diplomacy/server/server.py')
| -rw-r--r-- | diplomacy/server/server.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/diplomacy/server/server.py b/diplomacy/server/server.py index d1f044d..4a1647c 100644 --- a/diplomacy/server/server.py +++ b/diplomacy/server/server.py @@ -665,6 +665,7 @@ class Server(): if os.path.isfile(game_filename): os.remove(game_filename) self.games.pop(server_game.game_id, None) + self.backup_games.pop(server_game.game_id, None) self.games_with_dummy_powers.pop(server_game.game_id, None) self.dispatched_dummy_powers.pop(server_game.game_id, None) |