diff options
| author | ElgarL <ElgarL@palmergames.com> | 2011-11-24 14:05:25 +0000 |
|---|---|---|
| committer | ElgarL <ElgarL@palmergames.com> | 2011-11-24 14:05:25 +0000 |
| commit | e5bb46326939397afe732126ad94c3335e94b1d2 (patch) | |
| tree | c7080631fa3129c2a60b447779a528dd21dabe1f /EssentialsGroupManager/src | |
| parent | 8bcca0526b5f4e4f42c2579f8b2fc73916f63082 (diff) | |
| download | Essentials-e5bb46326939397afe732126ad94c3335e94b1d2.tar Essentials-e5bb46326939397afe732126ad94c3335e94b1d2.tar.gz Essentials-e5bb46326939397afe732126ad94c3335e94b1d2.tar.lz Essentials-e5bb46326939397afe732126ad94c3335e94b1d2.tar.xz Essentials-e5bb46326939397afe732126ad94c3335e94b1d2.zip | |
remove bukkit perms check from checkUserPermission as it's performed in
checkFullUserPermission
Diffstat (limited to 'EssentialsGroupManager/src')
| -rw-r--r-- | EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java b/EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java index b858c2a6c..feec3f17f 100644 --- a/EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java +++ b/EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java @@ -657,8 +657,6 @@ public class AnjoPermissionsHandler extends PermissionsReaderInterface { if (result.resultType.equals(PermissionCheckResult.Type.EXCEPTION) || result.resultType.equals(PermissionCheckResult.Type.FOUND)) { return true; } - if ((Bukkit.getPlayer(user.getName()) != null) && (Bukkit.getPlayer(user.getName()).hasPermission(permission))) - return true; return false; } @@ -699,6 +697,7 @@ public class AnjoPermissionsHandler extends PermissionsReaderInterface { } } + // Check Bukkit perms to support plugins which add perms via code (Heroes). if ((Bukkit.getPlayer(user.getName()) != null) && (Bukkit.getPlayer(user.getName()).hasPermission(targetPermission))) { result.resultType = PermissionCheckResult.Type.FOUND; result.owner = user; |