From 826ae992baabe0e2f577acd0ce6fe1ea2e9fc69c Mon Sep 17 00:00:00 2001 From: rubenpirreram Date: Fri, 15 May 2026 17:51:19 +0200 Subject: [PATCH] Add: Set Game Ended when timer expired --- src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java b/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java index 2321955..2868c5b 100644 --- a/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java +++ b/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java @@ -160,6 +160,7 @@ public class ServerLauncher { disconnectionTimer.cancel(false); } disconnectionTimer = timerExecutor.schedule(() -> { + game.EndGameForFeit(game.getPlayerByUsername(playerList.keySet().stream().toList().getFirst())); System.out.println("Timer expired: no player reconnected in 60s."); }, 1, TimeUnit.MINUTES); }