mirror/WorldEdit
2
0
Fork 0
mirror of https://github.com/EngineHub/WorldEdit.git synced 2025-01-06 12:16:11 +08:00
Code Issues Packages Projects Releases Wiki Activity

Use equalsIgnoreCase to check for perm plugins, and check for GroupManager

Browse Source 
Using equalsIgnoreCase fixes a few weird issues with bPerms, and adding GroupManager fixes a metric tonne of issues with GroupManager.. Like it being randomly disabled, it not working, etc.
This commit is contained in:
me4502 2013-06-10 20:55:32 +11:00 committed by wizjany
parent 5895b492da
commit 70ccac620f
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/main/java/com/sk89q/wepif/PermissionsResolverManager.java
View File

@ -273,8 +273,8 @@ public void onPluginEnable(PluginEnableEvent event) {
String name = plugin.getDescription().getName();
if (plugin instanceof PermissionsProvider) {
setPluginPermissionsResolver(plugin);
} else if ("Permissions".equals(name) || "PermissionsEx".equals(name)
|| "bPermissions".equals(name)) {
} else if ("permissions".equalsIgnoreCase(name) || "permissionsex".equalsIgnoreCase(name)
|| "bpermissions".equalsIgnoreCase(name) || "groupmanager".equalsIgnoreCase(name)) {
load();
}
}
@ -284,8 +284,8 @@ public void onPluginDisable(PluginDisableEvent event) {
String name = event.getPlugin().getDescription().getName();
if (event.getPlugin() instanceof PermissionsProvider
|| "Permissions".equals(name) || "PermissionsEx".equals(name)
|| "bPermissions".equals(name)) {
|| "permissions".equalsIgnoreCase(name) || "permissionsex".equalsIgnoreCase(name)
|| "bpermissions".equalsIgnoreCase(name) || "groupmanager".equalsIgnoreCase(name)) {
load();
}
}