Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- if (this.getServer().getPluginManager().getPlugin("NAME OF PLUG-IN") != null) {
- // CODE
- }
- if (this.getServer().getPluginManager().getPlugin("NAME OF PLUG-IN") != null) {
- this.getServer().shutdown(); //STOP SERVER
- }
Advertisement
Add Comment
Please, Sign In to add comment
