github/mage
1
0
Fork 0
mirror of https://github.com/correl/mage.git synced 2024-11-25 03:00:11 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fixed that some user data was not cleared as a user was disconnected.

Browse source
This commit is contained in:
LevelX2 2017-09-05 16:58:06 +02:00
parent 466e524d6e
commit d5284ae226
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Mage.Server/src/main/java/mage/server/User.java
View file

@ -388,7 +388,7 @@ public class User {
} else { } else {
// Table is missing after connection was lost during sideboard. // Table is missing after connection was lost during sideboard.
// Means other players were removed or conceded the game? // Means other players were removed or conceded the game?
logger.error("sideboarding id not found : " + entry.getKey()); logger.debug(getName() + " reconnects during sideboarding but tableId not found: " + entry.getKey());
} }
} }
ServerMessagesUtil.instance.incReconnects(); ServerMessagesUtil.instance.incReconnects();
@ -450,12 +450,14 @@ public class User {
TournamentManager.instance.quit(tournamentId, userId); TournamentManager.instance.quit(tournamentId, userId);
} }
userTournaments.clear(); userTournaments.clear();
constructing.clear();
logger.trace("REMOVE " + userName + " Tables " + tables.size()); logger.trace("REMOVE " + userName + " Tables " + tables.size());
for (Entry<UUID, Table> entry : tables.entrySet()) { for (Entry<UUID, Table> entry : tables.entrySet()) {
logger.debug("-- leave tableId: " + entry.getValue().getId()); logger.debug("-- leave tableId: " + entry.getValue().getId());
TableManager.instance.leaveTable(userId, entry.getValue().getId()); TableManager.instance.leaveTable(userId, entry.getValue().getId());
} }
tables.clear(); tables.clear();
sideboarding.clear();
logger.trace("REMOVE " + userName + " Game sessions: " + gameSessions.size()); logger.trace("REMOVE " + userName + " Game sessions: " + gameSessions.size());
for (GameSessionPlayer gameSessionPlayer : gameSessions.values()) { for (GameSessionPlayer gameSessionPlayer : gameSessions.values()) {
logger.debug("-- kill game session of gameId: " + gameSessionPlayer.getGameId()); logger.debug("-- kill game session of gameId: " + gameSessionPlayer.getGameId());