Fix: Only one player logic (todo go to end-game)

src/main/java/it/polimi/ingsw/gc14/Network/EventType.java

@@ -14,7 +14,7 @@ public enum EventType {
     PICK_OPTIONAL_TRIBE,
     PICK_OPTIONAL_BUILD,
     SKIP_NO_DRAWABLE,
-    SKIP_PLAYER_DISCONNECTED,
+    DISCONNECTED_PLAYER,
     RECONNECT_PLAYER,
     NO_OPTIONAL_CARD
 }

src/main/java/it/polimi/ingsw/gc14/Network/NetworkEvents/DisconnectedPlayer.java

@@ -17,7 +17,7 @@ public class DisconnectedPlayer extends NetworkEvent implements  Serializable{
      * @param username the name of the player requesting the event
      */
     public DisconnectedPlayer(String username){
-        super(username, EventType.SKIP_PLAYER_DISCONNECTED, false);
+        super(username, EventType.DISCONNECTED_PLAYER, false);
     }
 
     /**

src/main/java/it/polimi/ingsw/gc14/Network/NetworkEvents/SkipNoDrawable.java

@@ -17,7 +17,7 @@ public class SkipNoDrawable extends NetworkEvent implements  Serializable{
      * @param username the name of the player requesting the event
      */
     public SkipNoDrawable(String username){
-        super(username, EventType.SKIP_PLAYER_DISCONNECTED, false);
+        super(username, EventType.SKIP_NO_DRAWABLE, false);
     }
 
     /**

src/main/java/it/polimi/ingsw/gc14/Network/RMI/Server/RMIServer.java

@@ -43,6 +43,9 @@ public class RMIServer extends UnicastRemoteObject implements IGameServer {
     private LimitedMap<String, Boolean> playerList;
 
     private boolean serverCrashed;
+    public void setServerCrashed(boolean serverCrashed) {
+        this.serverCrashed = serverCrashed;
+    }
 
     public RMIServer(GameController controller, int nPort,
                      BlockingQueue<NetworkEvent> actionQueue,

src/main/java/it/polimi/ingsw/gc14/Network/TCP/Server/TCPServer.java

@@ -36,6 +36,10 @@ public class TCPServer {
     List<ClientHandler> clientHandlers;
 
     boolean serverCrashed;
+    public void setServerCrashed(boolean serverCrashed) {
+        this.serverCrashed = serverCrashed;
+    }
+
     // Mappa temporanea: username → ClientHandler
     // Serve per associare il socket heartbeat al giusto ClientHandler
     private final Map<String, ClientHandler> pendingHeartbeat = new ConcurrentHashMap<>();

src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java

@@ -5,6 +5,7 @@ import it.polimi.ingsw.gc14.Controller.GameController;
 import it.polimi.ingsw.gc14.Model.Game;
 import it.polimi.ingsw.gc14.Model.GamePackage.GameStages;
 import it.polimi.ingsw.gc14.Model.Player;
+import it.polimi.ingsw.gc14.Network.EventType;
 import it.polimi.ingsw.gc14.Network.NetworkEvent;
 import it.polimi.ingsw.gc14.Network.NetworkEvents.DisconnectedPlayer;
 import it.polimi.ingsw.gc14.Network.RMI.Server.RMIServer;
@@ -17,8 +18,7 @@ import java.nio.file.Path;
 import java.nio.file.Paths;
 import java.rmi.RemoteException;
 import java.util.*;
-import java.util.concurrent.BlockingQueue;
-import java.util.concurrent.LinkedBlockingQueue;
+import java.util.concurrent.*;
 import java.net.*;
 
 
@@ -64,9 +64,13 @@ public class ServerLauncher {
      */
     static LimitedMap<String,Boolean> playerList;
 
-    TUI view;
+    static TUI view;
 
 
+    // Campo da aggiungere in ServerLauncher
+    private final ScheduledExecutorService timerExecutor = Executors.newSingleThreadScheduledExecutor();
+    private ScheduledFuture<?> disconnectionTimer;
+
     /**
      * Class constructor that initializes the attributes.
      * @param actionQueue The queue containing the events
@@ -93,24 +97,58 @@ public class ServerLauncher {
      */
     public boolean doFirstEvent() throws InterruptedException, RemoteException {
         NetworkEvent event = actionQueue.take();
+        if(gameController.getModel()!=null && !gameController.getModel().getCurrentState().equals(GameStages.ENDED))
+        {
+            if(disconnectionTimer!=null && event.getEventType() != EventType.RECONNECT_PLAYER)
+            {
+                event.setIsError(true);
+                serverRMI.notifyAll(event);
+                serverTCP.notifyAll(event);
+                return false;
+            }
+            if (event.getEventType() == EventType.RECONNECT_PLAYER && disconnectionTimer != null && !disconnectionTimer.isDone()) {
+                disconnectionTimer.cancel(false);
+                disconnectionTimer = null;
+            }
             synchronized(gameController){
-
                 event.setIsError(!event.apply(gameController));
                 serverRMI.notifyAll(event);
                 serverTCP.notifyAll(event);
-
                 if(!event.getIsError()){
                     if(this.gameController.getModel().getCurrentState().getGameStage() == GameStages.ENDED){
                         this.deleteSave();
+                        for(Map.Entry<String,Boolean> entry:playerList.entrySet()){
+                            if(entry.getValue())
+                                playerList.remove(entry.getKey());
+                        }
+                        serverRMI.setServerCrashed(false);
+                        serverTCP.setServerCrashed(false);
                     }
                     else if(!this.gameSave() ){
                         System.out.println("\n!!! Save failed !!!\n");
                     }
+
+                }
+                if (event.getEventType().equals(EventType.DISCONNECTED_PLAYER) && playerList.values().stream().filter(x -> x).count() == 1) {
+                    if (disconnectionTimer != null && !disconnectionTimer.isDone()) {
+                        disconnectionTimer.cancel(false);
+                    }
+                    disconnectionTimer = timerExecutor.schedule(() -> {
+                        System.out.println("Timer scaduto: nessun giocatore riconnesso in 30s.");
+                    }, 500, TimeUnit.MILLISECONDS);
                 }
-            //actionQueue.offer(new DisconnectedPlayer(gameController.getModel().getCurrentState().getCurrentPlayer().getUserName()));
                 return !event.getIsError();
             }
         }
+        else{
+            if(event.getEventType().equals(EventType.DISCONNECTED_PLAYER))
+            {
+                playerList.remove(event.getUsername());
+            }
+            return false;
+        }
+
+    }
 
 
     /**
@@ -151,6 +189,18 @@ public class ServerLauncher {
             serverCrashed = false;
         }
         playerList.setAction(()->{
+            new Thread(()->{
+                try {
+                    System.out.println("\n\nNotifying model");
+                    serverRMI.notifyAll(gameController.getModel());
+                    serverTCP.notifyAll(gameController.getModel());
+                    view = new TUI(gameController.getModel());
+                    view.fullRender();
+                } catch (RemoteException e) {
+                    throw new RuntimeException(e);
+                }
+            }).start();
+        });
         new Thread(()-> {
             try {
                 launcher.run();
@@ -160,7 +210,6 @@ public class ServerLauncher {
                 throw new RuntimeException(e);
             }
         }).start();
-        });
 
         serverRMI.start(serverCrashed);
         new Thread(()->{serverTCP.start(serverCrashed);}).start();
@@ -175,12 +224,6 @@ public class ServerLauncher {
      * @throws RemoteException if an RMI error occurs
      */
     public void run() throws InterruptedException, RemoteException {
-        // Game creation
-        System.out.println("\n\nNotifying model");
-        serverRMI.notifyAll(gameController.getModel());
-        serverTCP.notifyAll(gameController.getModel());
-        this.view = new TUI(gameController.getModel());
-        this.view.fullRender();
 
         // Game execution
         while (true) {