From 696f73961a827e8f163738c988084c2da48d730a Mon Sep 17 00:00:00 2001 From: Jonas Weinz Date: Sun, 10 Mar 2019 13:49:55 +0100 Subject: [PATCH] fix wrong close behavior in client --- game_manager.js | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/game_manager.js b/game_manager.js index 02a3b0f..158eb39 100644 --- a/game_manager.js +++ b/game_manager.js @@ -16,6 +16,8 @@ class GameManager this.grid.player_change_listener(this.dummy_player); + this.received_close_message = false; + // possible modes: // -- none // -- local @@ -233,10 +235,10 @@ class GameManager { return; } - this.set_game_mode("none"); - this.grid.block_all(); this.status_change_listener("game was closed by server or opponent", "Game Over"); + + this.end_game(); } toggle_local_player()