plugins: Remove plugin from the plugin list if it failed to start

This commit is contained in:
Owain van Brakel
2020-03-11 12:09:33 +01:00
parent d0e745619d
commit 69e9ea03d0

View File

@@ -453,10 +453,12 @@ public class PluginManager
} }
catch (ThreadDeath e) catch (ThreadDeath e)
{ {
activePlugins.remove(plugin);
throw e; throw e;
} }
catch (Throwable ex) catch (Throwable ex)
{ {
activePlugins.remove(plugin);
throw new PluginInstantiationException(ex); throw new PluginInstantiationException(ex);
} }