From 8e78aedc7dffe9bb3cf6a878f57e11578097729a Mon Sep 17 00:00:00 2001
From: rubenpirreram <rubenpirreram@gmail.com>
Date: Wed, 20 May 2026 17:18:47 +0200
Subject: [PATCH] Fixed: now if the server crash when there is only one player,
 at the restart the server will forgive the old game. (Probably also the
 remaining player is disconnected)

---
 src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java | 2 +-
 1 file changed, 1 insertion(+), 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 6a70238..58a5155 100644
--- a/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java
+++ b/src/main/java/it/polimi/ingsw/gc14/ServerLauncher.java
@@ -87,7 +87,7 @@ public class ServerLauncher {
         this.serverRMI = serverRMI;
         this.gameController = gameController;
         Game game= loadSave();
-        if(gameController.getModel().disconnetedPlayers.entrySet().stream().filter(Map.Entry::getValue).count() >gameController.getModel().getNPlayers()-1){
+        if(game!=null && gameController.getModel().disconnetedPlayers.entrySet().stream().filter(Map.Entry::getValue).count() >gameController.getModel().getNPlayers()-1){
             gameController.setModel(null);
             this.deleteSave();
         }