minecraft/Essentials
1
0
Fork 0
mirror of https://github.com/essentials/Essentials.git synced 2025-08-11 17:15:07 +02:00
Code Issues Releases Wiki Activity

Add FINE debug on user login.

Browse Source
This commit is contained in:
ElgarL
2014-07-19 00:05:50 +01:00
parent 2c9feadf1d
commit e6049b0818
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/WorldDataHolder.java
View File

@@ -156,7 +156,8 @@ public class WorldDataHolder {
User user = getUsers().get(uUID.toLowerCase()); User user = getUsers().get(uUID.toLowerCase());
if (user != null) { if (user != null) {
GroupManager.logger.fine("User record found for UUID: " + uUID + ":" + currentName);
user.setLastName(currentName); user.setLastName(currentName);
return user; return user;
@@ -174,13 +175,21 @@ public class WorldDataHolder {
this.removeUser(user.getUUID()); this.removeUser(user.getUUID());
this.addUser(usr); this.addUser(usr);
GroupManager.logger.fine("Updating User record for UUID: " + uUID + ":" + currentName);
return getUsers().get(uUID.toLowerCase()); return getUsers().get(uUID.toLowerCase());
} }
if (user != null) {
GroupManager.logger.fine("User record found but UUID mismatch for: " + currentName);
}
// No user account found so create a new one. // No user account found so create a new one.
User newUser = createUser(uUID); User newUser = createUser(uUID);
newUser.setLastName(currentName); newUser.setLastName(currentName);
GroupManager.logger.fine("New User record created: " + uUID + ":" + currentName);
return newUser; return newUser;
} }