From 10289cd6607165d2f14fbdde008bf6b7d5266f31 Mon Sep 17 00:00:00 2001 From: rubenpirreram Date: Fri, 24 Apr 2026 16:02:42 +0200 Subject: [PATCH] Fix: Game --- src/main/java/it/polimi/ingsw/gc14/Model/Game.java | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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 7265930..830f51d 100644 --- a/src/main/java/it/polimi/ingsw/gc14/Model/Game.java +++ b/src/main/java/it/polimi/ingsw/gc14/Model/Game.java @@ -36,6 +36,12 @@ public class Game implements Serializable { o.update(this); } } + /** + * The current number of players. + */ + public int getCurrentPlayerNumber() { + return playersList.size(); + } /** * The list of players participating in the game. @@ -189,7 +195,7 @@ public class Game implements Serializable { } if(currentState.getGameStage()!= GameStages.WAITING) return false; - if(playersList.contains(player)) + if(playersList.stream().anyMatch(player.getUserName()::equals)) return false; playersList.add(player); if(playersList.size()>=nPlayers)