Upstream/Paper
1
0
Fork 0
mirror of https://github.com/PaperMC/Paper.git synced 2025-04-08 13:05:55 +02:00
Code Issues Projects Releases Wiki Activity

Merge pull request #212 from willies952002/feature/permReload

Browse Source 
Also Reload Plugin-Defined Permissions
This commit is contained in:
Zach Brown 2016-04-22 00:58:32 -05:00
commit c385ec89b5
2 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Spigot-Server-Patches/Add-getEntity-by-UUID-API.patch
View File

@ -42,8 +42,8 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000
import org.bukkit.craftbukkit.generator.CraftChunkData; import org.bukkit.craftbukkit.generator.CraftChunkData;
import org.bukkit.craftbukkit.help.SimpleHelpMap; import org.bukkit.craftbukkit.help.SimpleHelpMap;
@@ -0,0 +0,0 @@ public final class CraftServer implements Server { @@ -0,0 +0,0 @@ public final class CraftServer implements Server {
((SimplePluginManager) pluginManager).clearPermissions(); });
loadCustomPermissions(); }
} }
+ +
+ @Override + @Override

9
Spigot-Server-Patches/Allow-Reloading-of-Custom-Permissions.patch
View File

@ -19,6 +19,15 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000
+ public void reloadPermissions() { + public void reloadPermissions() {
+ ((SimplePluginManager) pluginManager).clearPermissions(); + ((SimplePluginManager) pluginManager).clearPermissions();
+ loadCustomPermissions(); + loadCustomPermissions();
+ for (Plugin plugin : pluginManager.getPlugins()) {
+ plugin.getDescription().getPermissions().forEach((perm) -> {
+ try {
+ pluginManager.addPermission(perm);
+ } catch (IllegalArgumentException ex) {
+ getLogger().log(Level.WARNING, "Plugin " + plugin.getDescription().getFullName() + " tried to register permission '" + perm.getName() + "' but it's already registered", ex);
+ }
+ });
+ }
+ } + }
+ // Paper end + // Paper end
} }