diff options
author | ElgarL <ElgarL@palmergames.com> | 2012-04-02 21:12:19 +0100 |
---|---|---|
committer | ElgarL <ElgarL@palmergames.com> | 2012-04-02 21:12:19 +0100 |
commit | 5ad8f0ee8eb4e6b5c753de2ee4bba4f82511e57c (patch) | |
tree | e8f9600a1996a0481754f7ada8804ee1e468ae6a /EssentialsGroupManager/src/org/anjocaido | |
parent | dd436fa121f99fd3de801cd31b5f15faea436e4a (diff) | |
download | Essentials-5ad8f0ee8eb4e6b5c753de2ee4bba4f82511e57c.tar Essentials-5ad8f0ee8eb4e6b5c753de2ee4bba4f82511e57c.tar.gz Essentials-5ad8f0ee8eb4e6b5c753de2ee4bba4f82511e57c.tar.lz Essentials-5ad8f0ee8eb4e6b5c753de2ee4bba4f82511e57c.tar.xz Essentials-5ad8f0ee8eb4e6b5c753de2ee4bba4f82511e57c.zip |
Added a new permission node 'groupmanager.op'. This will cause players
with this node to be treated as op's when using GroupManager commands
(they will still require each commands
permission node to use them).
Diffstat (limited to 'EssentialsGroupManager/src/org/anjocaido')
-rw-r--r-- | EssentialsGroupManager/src/org/anjocaido/groupmanager/GroupManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/EssentialsGroupManager/src/org/anjocaido/groupmanager/GroupManager.java b/EssentialsGroupManager/src/org/anjocaido/groupmanager/GroupManager.java index 09ea3b247..8bd346735 100644 --- a/EssentialsGroupManager/src/org/anjocaido/groupmanager/GroupManager.java +++ b/EssentialsGroupManager/src/org/anjocaido/groupmanager/GroupManager.java @@ -303,7 +303,7 @@ public class GroupManager extends JavaPlugin { senderPlayer = (Player) sender; senderUser = worldsHolder.getWorldData(senderPlayer).getUser(senderPlayer.getName()); senderGroup = senderUser.getGroup(); - isOpOverride = (isOpOverride && senderPlayer.isOp()); + isOpOverride = (isOpOverride && (senderPlayer.isOp() || worldsHolder.getWorldPermissions(senderPlayer).has(senderPlayer, "groupmanager.op"))); System.out.println("[PLAYER_COMMAND] " + senderPlayer.getName() + ": /" + commandLabel + " " + Tasks.join(args, " ")); if (isOpOverride || worldsHolder.getWorldPermissions(senderPlayer).has(senderPlayer, "groupmanager." + cmd.getName())) { |