minecraft/Essentials
1
0
Fork 0
mirror of https://github.com/essentials/Essentials.git synced 2025-08-01 20:30:48 +02:00
Code Issues Releases Wiki Activity

Ensure GM reports the same permissions as Bukkit.

Browse Source
This commit is contained in:
ElgarL
2014-06-20 22:33:25 +01:00
parent 194de920cf
commit 3137c9ae10
3 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
EssentialsGroupManager/src/org/anjocaido/groupmanager/GroupManager.java
View File

@@ -2219,7 +2219,7 @@ public class GroupManager extends JavaPlugin {
} else {
for (Player player : players) {
match.add(player.getName()); //.getUniqueId().toString());
match.add(player.getUniqueId().toString());
}
}

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

@@ -130,7 +130,7 @@ public class WorldDataHolder {
User user = getUsers().get(uid);
if (user.getLastName().equalsIgnoreCase(userId)) {
if ((user != null) && user.getLastName().equalsIgnoreCase(userId)) {
return user;
}
}
@@ -156,7 +156,8 @@ public class WorldDataHolder {
User user = getUsers().get(uUID.toLowerCase());
if (user != null) {
System.out.println("Matched: " + uUID);
System.out.println("In World: " + this.getName());
user.setLastName(currentName);
return user;
@@ -177,6 +178,9 @@ public class WorldDataHolder {
return getUsers().get(uUID.toLowerCase());
}
System.out.println("New user: " + uUID);
System.out.println("In World: " + this.getName());
// No user account found so create a new one.
User newUser = createUser(uUID);
newUser.setLastName(currentName);

2
EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/BukkitPermissions.java
View File

@@ -150,7 +150,7 @@ public class BukkitPermissions {
String uuid = player.getUniqueId().toString();
// Reset the User objects player reference.
User user = plugin.getWorldsHolder().getWorldData(player.getWorld().getName()).getUser(player.getUniqueId().toString(), player.getName());
User user = plugin.getWorldsHolder().getWorldData(player.getWorld().getName()).getUser(uuid, player.getName());
if (user != null)
user.updatePlayer(player);