From 89de79b5c8e15e185fd5485a713cf2aa07c7c69b Mon Sep 17 00:00:00 2001
From: rubenpirreram <rubenpirreram@gmail.com>
Date: Fri, 15 May 2026 20:04:29 +0200
Subject: [PATCH] Server notify end game

---
 src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java | 3 ++-
 1 file changed, 2 insertions(+), 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 bf9224b..f1e7006 100644
--- a/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java
+++ b/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java
@@ -165,7 +165,8 @@ public class ServerLauncher {
                     }
                     disconnectionTimer = timerExecutor.schedule(() -> {
                         game.EndGameForFeit(game.getPlayerByUsername(playerList.keySet().stream().toList().getFirst()));
-                        actionQueue.offer(new EndedGame(game.getSlotMap(), game.orderLogicCard, game.getCurrentState(),game.getPlayerStanding()));
+                        serverRMI.notifyAll(new EndedGame(game.getSlotMap(), game.orderLogicCard, game.getCurrentState(),game.getPlayerStanding()));
+                        serverTCP.notifyAll(new EndedGame(game.getSlotMap(), game.orderLogicCard, game.getCurrentState(),game.getPlayerStanding()));
                         System.out.println("Timer expired: no player reconnected in 60s.");
                     }, 1, TimeUnit.MINUTES);
                 }