skip plugins that aren't JavaPlugins

Fixes #707
This commit is contained in:
RoboMWM 2020-02-01 22:11:45 -08:00
parent 0a308b520f
commit 7e0f936502

View File

@ -548,6 +548,8 @@ class PlayerEventHandler implements Listener
aliases.add("minecraft:" + commandName);
for(Plugin plugin : Bukkit.getServer().getPluginManager().getPlugins())
{
if (!(plugin instanceof JavaPlugin))
continue;
JavaPlugin javaPlugin = (JavaPlugin)plugin;
Command command = javaPlugin.getCommand(commandName);
if(command != null)