mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[plugin manager] PluginManager.handleComponentError log known plugin ID
This commit is contained in:
@@ -246,7 +246,7 @@ public class PluginManager extends PluginManagerCore {
|
||||
}
|
||||
|
||||
if (pluginId != null && !CORE_PLUGIN_ID.equals(pluginId.getIdString())) {
|
||||
throw new StartupAbortedException(new PluginException(t, pluginId));
|
||||
throw new StartupAbortedException("Fatal error initializing plugin " + pluginId.getIdString(), new PluginException(t, pluginId));
|
||||
}
|
||||
else {
|
||||
throw new StartupAbortedException("Fatal error initializing '" + componentClassName + "'", t);
|
||||
|
||||
Reference in New Issue
Block a user