From eba96c110b0548183848623cadde035753d21c3a Mon Sep 17 00:00:00 2001 From: ElgarL Date: Thu, 3 Nov 2011 20:42:34 +0000 Subject: Fix for an error in checkFullUserPermission caused by players disconnecting mid perms update. --- .../anjocaido/groupmanager/permissions/AnjoPermissionsHandler.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'EssentialsGroupManager/src/org/anjocaido/groupmanager') 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; -- cgit v1.2.3