Added a way to end a game, when its lobby is closed.

2022-04-16 21:34:36 +02:00
parent 4d82af32f4
commit 88f72d7612
2 changed files with 7 additions and 1 deletions
--- a/src/main/java/ch/unibas/dmi/dbis/cs108/multiplayer/server/Lobby.java
+++ b/src/main/java/ch/unibas/dmi/dbis/cs108/multiplayer/server/Lobby.java
@@ -228,6 +228,7 @@ public class Lobby {
   */
  public void closeLobby() {
    lobbies.remove(this);
+    game.setOngoing(false); // ends game
    //ClientHandler.broadcastAnnouncementToAll("Lobby nr. " + this.getLobbyID() + " has been closed.");

    /*