From cffcfd72ba23151be32b9f363b074de87612f30b Mon Sep 17 00:00:00 2001 From: MatteoPellegrino05 Date: Tue, 19 May 2026 14:27:41 +0200 Subject: [PATCH] Fix: RMIHeartbeat --- .../it/polimi/ingsw/gc14/Network/RMI/Server/RMIHeartbeat.java | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Server/RMIHeartbeat.java b/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Server/RMIHeartbeat.java index f164565..4d29816 100644 --- a/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Server/RMIHeartbeat.java +++ b/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Server/RMIHeartbeat.java @@ -94,10 +94,8 @@ public class RMIHeartbeat { running = false; watchdog.shutdownNow(); - // Mark player as offline playerList.put(username, false); - // Remove RMI callback so notifyAll skips this client clients.remove(username); actionQueue.add(new DisconnectedPlayer(username)); System.out.println("RMI disconnected: " + username);