Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- public void disablePlugin(Plugin plugin) {
- if (plugin.isEnabled()) {
- try {
- plugin.getPluginLoader().disablePlugin(plugin);
- } catch (Throwable var7) {
- this.server.getLogger().log(Level.SEVERE, "Error occurred (in the plugin loader) while disabling " + plugin.getDescription().getFullName() + " (Is it up to date?)", var7);
- }
- try {
- this.server.getScheduler().cancelTasks(plugin);
- } catch (Throwable var6) {
- this.server.getLogger().log(Level.SEVERE, "Error occurred (in the plugin loader) while cancelling tasks for " + plugin.getDescription().getFullName() + " (Is it up to date?)", var6);
- }
- try {
- this.server.getServicesManager().unregisterAll(plugin);
- } catch (Throwable var5) {
- this.server.getLogger().log(Level.SEVERE, "Error occurred (in the plugin loader) while unregistering services for " + plugin.getDescription().getFullName() + " (Is it up to date?)", var5);
- }
- try {
- HandlerList.unregisterAll(plugin);
- } catch (Throwable var4) {
- this.server.getLogger().log(Level.SEVERE, "Error occurred (in the plugin loader) while unregistering events for " + plugin.getDescription().getFullName() + " (Is it up to date?)", var4);
- }
- try {
- this.server.getMessenger().unregisterIncomingPluginChannel(plugin);
- this.server.getMessenger().unregisterOutgoingPluginChannel(plugin);
- } catch (Throwable var3) {
- this.server.getLogger().log(Level.SEVERE, "Error occurred (in the plugin loader) while unregistering plugin channels for " + plugin.getDescription().getFullName() + " (Is it up to date?)", var3);
- }
- }
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement