From 961d7d9f70e48f49921bf16ad61af42fd609a46f Mon Sep 17 00:00:00 2001
From: aleandro <a.pagani.it@gmail.com>
Date: Fri, 12 Jun 2026 19:15:55 +0200
Subject: [PATCH] Delete: unused test

---
 .../polimi/ingsw/gc14/Controller/GameController.java |  4 ++--
 src/main/java/it/polimi/ingsw/gc14/Model/Game.java   |  2 ++
 .../ingsw/gc14/Network/RMI/Client/RMIClient.java     |  7 +++++--
 .../ingsw/gc14/Network/RMI/Server/RMIServer.java     |  2 +-
 .../ingsw/gc14/Network/TCP/Server/ClientHandler.java |  2 ++
 src/test/java/it/polimi/ingsw/gc14/AppTest.java      | 12 ------------
 6 files changed, 12 insertions(+), 17 deletions(-)
 delete mode 100644 src/test/java/it/polimi/ingsw/gc14/AppTest.java

diff --git a/src/main/java/it/polimi/ingsw/gc14/Controller/GameController.java b/src/main/java/it/polimi/ingsw/gc14/Controller/GameController.java
index ed81083..0ed7eba 100644
--- a/src/main/java/it/polimi/ingsw/gc14/Controller/GameController.java
+++ b/src/main/java/it/polimi/ingsw/gc14/Controller/GameController.java
@@ -69,7 +69,7 @@ public class GameController {
      *
      * @return the game model managed by this controller.
      */
-    public Game getModel() {
+    public synchronized Game getModel() {
         return model;
     }
 
@@ -78,7 +78,7 @@ public class GameController {
      *
      * @param model the new game model managed by this controller.
      */
-    public void setModel(Game model) {
+    public synchronized void setModel(Game model) {
         this.model = model;
     }
 
diff --git a/src/main/java/it/polimi/ingsw/gc14/Model/Game.java b/src/main/java/it/polimi/ingsw/gc14/Model/Game.java
index c9a197c..f724d55 100644
--- a/src/main/java/it/polimi/ingsw/gc14/Model/Game.java
+++ b/src/main/java/it/polimi/ingsw/gc14/Model/Game.java
@@ -415,6 +415,8 @@ public class Game implements Serializable {
             case 5:
                 orderLogicCard=new Order5(playersList);
                 break;
+            default:
+                throw new IllegalStateException("nPlayers must be 2–5, got: " + nPlayers);
         }
         for(Player player : playersList)
         {
diff --git a/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Client/RMIClient.java b/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Client/RMIClient.java
index d40ccee..9bf8e5e 100644
--- a/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Client/RMIClient.java
+++ b/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Client/RMIClient.java
@@ -27,6 +27,7 @@ public class RMIClient  implements IClient {
 
     /** Scheduler that fires ping() every {@value NetworkConfig#KEEPALIVE_INTERVAL_MS} ms. */
     private ScheduledExecutorService pingSender;
+    private ExecutorService executor;
 
     /**
      * Constructs an RMI client and initializes its connection parameters.
@@ -94,7 +95,7 @@ public class RMIClient  implements IClient {
             return t;
         });
 
-        ExecutorService executor = Executors.newSingleThreadExecutor();
+        executor = Executors.newSingleThreadExecutor();
         pingSender.scheduleAtFixedRate(() -> {
             Future<?> future = executor.submit(() -> {
                 try {
@@ -126,6 +127,7 @@ public class RMIClient  implements IClient {
         if (!running) return;
         running = false;
         if (pingSender != null) pingSender.shutdownNow();
+        if (executor != null) executor.shutdownNow();
         controller.setModel(null);
         controller.setClient(null);
     }
@@ -248,7 +250,8 @@ public class RMIClient  implements IClient {
      * the keep-alive scheduler.
      */
     public void notifyDisconnection() {
-        pingSender.shutdownNow();
+        if (pingSender != null) pingSender.shutdownNow();
+        if (executor != null) executor.shutdownNow();
         try{
             stub.disconnectPlayer(username);
         }
diff --git a/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Server/RMIServer.java b/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Server/RMIServer.java
index 5493ed9..498b098 100644
--- a/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Server/RMIServer.java
+++ b/src/main/java/it/polimi/ingsw/gc14/Network/RMI/Server/RMIServer.java
@@ -348,7 +348,7 @@ public class RMIServer extends UnicastRemoteObject implements IGameServer {
      */
     public void disconnectPlayer(String username) {
         RMIHeartbeat wd = watchdogs.get(username);
-        wd.disconnect();
+        if (wd != null) wd.disconnect();
     }
 
 
diff --git a/src/main/java/it/polimi/ingsw/gc14/Network/TCP/Server/ClientHandler.java b/src/main/java/it/polimi/ingsw/gc14/Network/TCP/Server/ClientHandler.java
index 6f277bc..14dd502 100644
--- a/src/main/java/it/polimi/ingsw/gc14/Network/TCP/Server/ClientHandler.java
+++ b/src/main/java/it/polimi/ingsw/gc14/Network/TCP/Server/ClientHandler.java
@@ -112,6 +112,7 @@ public class ClientHandler implements Runnable {
             out.writeObject(event);
         } catch (IOException e) {
             e.printStackTrace();
+            disconnect();
         }
 
     }
@@ -127,6 +128,7 @@ public class ClientHandler implements Runnable {
             out.writeObject(game);
         } catch (IOException e) {
             e.printStackTrace();
+            disconnect();
         }
     }
 
diff --git a/src/test/java/it/polimi/ingsw/gc14/AppTest.java b/src/test/java/it/polimi/ingsw/gc14/AppTest.java
deleted file mode 100644
index ab991c0..0000000
--- a/src/test/java/it/polimi/ingsw/gc14/AppTest.java
+++ /dev/null
@@ -1,12 +0,0 @@
-package it.polimi.ingsw.gc14;
-
-import junit.framework.TestCase;
-import org.junit.jupiter.api.Test;
-
-public class AppTest extends TestCase {
-    @Test
-    public void testApp()
-    {
-        assertTrue(12+1==13);
-    }
-}