Update Permission_GroupManager.java

This commit is contained in:
montlikadani 2019-11-03 19:01:00 +01:00 committed by GitHub
parent 41ddf51a91
commit 16040d207e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -50,7 +50,7 @@ public class Permission_GroupManager extends Permission {
Plugin perms = plugin.getServer().getPluginManager().getPlugin("GroupManager");
if (perms != null && perms.isEnabled()) {
groupManager = (GroupManager) perms;
log.info(String.format("[%s][Permission] %s hooked.", plugin.getDescription().getName(), name));
log.info(String.format("[Permission] %s hooked.", name));
}
}
}
@ -68,7 +68,7 @@ public class Permission_GroupManager extends Permission {
Plugin p = event.getPlugin();
if (p.getDescription().getName().equals("GroupManager")) {
permission.groupManager = (GroupManager) p;
log.info(String.format("[%s][Permission] %s hooked.", plugin.getDescription().getName(), permission.name));
log.info(String.format("[Permission] %s hooked.", permission.name));
}
}
}
@ -78,7 +78,7 @@ public class Permission_GroupManager extends Permission {
if (permission.groupManager != null) {
if (event.getPlugin().getDescription().getName().equals("GroupManager")) {
permission.groupManager = null;
log.info(String.format("[%s][Permission] %s un-hooked.", plugin.getDescription().getName(), permission.name));
log.info(String.format("[Permission] %s un-hooked.", permission.name));
}
}
}