diff options
| author | ElgarL <ElgarL@palmergames.com> | 2011-11-03 20:42:34 +0000 |
|---|---|---|
| committer | ElgarL <ElgarL@palmergames.com> | 2011-11-03 20:42:34 +0000 |
| commit | 5560ab42940a50178a4588937f3b5cae7874e37f (patch) | |
| tree | 7c197841f90423cc8bca488d94bad9675341f0bc /EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions | |
| parent | 87ccd7bf46ad4b8131591230d343552accf488ba (diff) | |
| download | Essentials-5560ab42940a50178a4588937f3b5cae7874e37f.tar Essentials-5560ab42940a50178a4588937f3b5cae7874e37f.tar.gz Essentials-5560ab42940a50178a4588937f3b5cae7874e37f.tar.lz Essentials-5560ab42940a50178a4588937f3b5cae7874e37f.tar.xz Essentials-5560ab42940a50178a4588937f3b5cae7874e37f.zip | |
Fix for an error in checkFullUserPermission caused by players
disconnecting mid perms update.
Diffstat (limited to 'EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions')
| -rw-r--r-- | EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java b/EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java index 3546c757e..e8911b4a8 100644 --- a/EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java +++ b/EssentialsGroupManager/src/org/anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java @@ -658,7 +658,7 @@ 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()).hasPermission(permission)) + if ((Bukkit.getPlayer(user.getName()) != null) && (Bukkit.getPlayer(user.getName()).hasPermission(permission))) return true; return false; @@ -700,7 +700,7 @@ public class AnjoPermissionsHandler extends PermissionsReaderInterface { } } - if (Bukkit.getPlayer(user.getName()).hasPermission(targetPermission)) { + if ((Bukkit.getPlayer(user.getName()) != null) && (Bukkit.getPlayer(user.getName()).hasPermission(targetPermission))) { result.resultType = PermissionCheckResult.Type.FOUND; result.owner = user; return result; |