src/main/java/ch/unibas/dmi/dbis/cs108/casono/server/app/commands/game/get_game_state/GetGameStateHandler.java

@@ -98,9 +98,14 @@ public class GetGameStateHandler extends CommandHandler<GetGameStateRequest> {
         }
 
         try {
+            // Remove all active players
             for (String playerName : lobby.getPlayerNames()) {
                 lobbyManager.removePlayer(playerName);
             }
+            // Also remove all absent players so the lobby can be deleted
+            for (String playerName : lobby.getAbsentPlayers()) {
+                lobbyManager.removePlayer(playerName);
+            }
             lobby.initGame(null);
         } catch (RuntimeException e) {
             LOGGER.log(

src/main/java/ch/unibas/dmi/dbis/cs108/casono/server/domain/lobby/LobbyManager.java

@@ -217,7 +217,7 @@ public class LobbyManager {
         for (Map.Entry<LobbyId, Lobby> e : activeLobbies.entrySet()) {
             LobbyId id = e.getKey();
             Lobby l = e.getValue();
-            if (l.getPlayerNames().isEmpty()) {
+            if (!l.hasAnyPlayers()) {
                 Instant created = creationTimes.get(id);
                 if (created != null && created.isBefore(cutoff)) {
                     result.add(id);