From c7ca9ff22ee4823b870fe32eea3e9a90432c3737 Mon Sep 17 00:00:00 2001 From: rubenpirreram Date: Tue, 12 May 2026 14:09:46 +0200 Subject: [PATCH] Changed: disconnection timeout --- src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java b/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java index 309200c..d478125 100644 --- a/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java +++ b/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java @@ -135,7 +135,7 @@ public class ServerLauncher { } disconnectionTimer = timerExecutor.schedule(() -> { System.out.println("Timer scaduto: nessun giocatore riconnesso in 30s."); - }, 500, TimeUnit.MILLISECONDS); + }, 30, TimeUnit.SECONDS); } return !event.getIsError(); }