Updated: now the disconnected player before the crash are ignored for the game restarting

2026-05-10 22:29:42 +02:00
parent 8106adb0d0
commit ef34f780a3
3 changed files with 10 additions and 3 deletions
@@ -139,6 +139,13 @@ public class ServerLauncher {
        ServerLauncher launcher = new ServerLauncher(actionQueue, gameController, serverRMI, serverTCP);
        if(gameController.getModel() != null){
            playerList.setLimit(gameController.getModel().getNPlayers());
+            for(Map.Entry<Player,Boolean>entry: gameController.getModel().disconnetedPlayers.entrySet())
+            {
+                if(entry.getValue())
+                {
+                    playerList.put(entry.getKey().getUserName(),false);
+                }
+            }
            serverCrashed = true;
        } else {
            serverCrashed = false;