fix wrong close behavior in client

This commit is contained in:
Jonas Weinz 2019-03-10 13:49:55 +01:00
parent 50cf7d6b42
commit 696f73961a

View File

@ -16,6 +16,8 @@ class GameManager
this.grid.player_change_listener(this.dummy_player); this.grid.player_change_listener(this.dummy_player);
this.received_close_message = false;
// possible modes: // possible modes:
// -- none // -- none
// -- local // -- local
@ -233,10 +235,10 @@ class GameManager
{ {
return; return;
} }
this.set_game_mode("none");
this.grid.block_all();
this.status_change_listener("game was closed by server or opponent", "Game Over"); this.status_change_listener("game was closed by server or opponent", "Game Over");
this.end_game();
} }
toggle_local_player() toggle_local_player()