Feat: Log player joins in LobbyManager

2026-04-12 13:08:57 +02:00
parent 4e65e2dec0
commit 1dcf628d2c
1 changed files with 9 additions and 0 deletions
@@ -69,6 +69,15 @@ public class LobbyManager {
                lobby.addPlayerAndMaybeStart(
                        username, maxPlayersPerLobby, AUTO_START_PLAYERS, DEFAULT_START_CHIPS);
        if (result != AddResult.NOT_ADDED) {
+            LOGGER.info(
+                    () ->
+                            "User '"
+                                    + username
+                                    + "' joined lobby "
+                                    + lobbyId.value()
+                                    + " (result="
+                                    + result
+                                    + ")");
            playerToLobby.put(username, lobbyId);
            if (result == AddResult.ADDED_AND_STARTED) {
                LOGGER.info(