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

* User handling - Fixed a recently added bug and added some debug messages.

Browse source
This commit is contained in:
LevelX2 2014-06-15 14:00:45 +02:00
parent 83c3f92241
commit 6c8b818d89
2 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -327,18 +327,23 @@ public class User {
}
public void kill(DisconnectReason reason) {
logger.debug("start user kill");
for (GameSession gameSession: gameSessions.values()) {
gameSession.kill();
}
logger.debug("user kill after game");
for (DraftSession draftSession: draftSessions.values()) {
draftSession.setKilled();
}
logger.debug("user kill after draft");
for (TournamentSession tournamentSession: tournamentSessions.values()) {
tournamentSession.setKilled();
}
logger.debug("user kill after tournament");
for (Entry<UUID, Table> entry: tables.entrySet()) {
TableManager.getInstance().leaveTable(userId, entry.getValue().getId());
}
logger.debug("user kill after table");
ChatManager.getInstance().removeUser(userId, reason);
}

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

@ -130,7 +130,7 @@ public class UserManager {
.append(" sessionId: ").append(user.getSessionId())
.append(" Reason: ").append(reason.toString()));
ChatManager.getInstance().removeUser(userId, reason);
users.get(userId).kill(reason);
user.kill(reason);
users.remove(userId);
} else {
logger.warn(new StringBuilder("Trying to remove userId: ").append(userId).append(" but user does not exist."));
@ -165,7 +165,7 @@ public class UserManager {
if (user.isExpired(expired.getTime())) {
logger.info(new StringBuilder(user.getName()).append(": session expired userId: ").append(user.getId())
.append(" Host: ").append(user.getHost()));
SessionManager.getInstance().getSession(user.getSessionId()).kill(DisconnectReason.SessionExpired);
removeUser(user.getId(), DisconnectReason.SessionExpired);
}
}
logger.debug("checkExpired - end");