diff options
Diffstat (limited to 'diplomacy/server')
| -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) |