From 09be214dfa0741df2399c3e0c928929138de226b Mon Sep 17 00:00:00 2001 From: notoraptor Date: Tue, 16 Jul 2019 10:39:16 -0400 Subject: [web] Add a button to delete game. (#39) - [server] Also delete game from RAM. --- diplomacy/server/server.py | 1 + 1 file changed, 1 insertion(+) (limited to 'diplomacy/server') 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) -- cgit v1.2.3