mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
exception reporting: if non-default errorHandler extension is specified in plugin.xml it should be used even if the plugin vendor is JetBrains (so exceptions from Android plugin will be send to Google)
This commit is contained in:
@@ -1010,7 +1010,7 @@ public class IdeErrorsDialog extends DialogWrapper implements MessagePoolListene
|
||||
return null;
|
||||
}
|
||||
IdeaPluginDescriptor plugin = PluginManager.getPlugin(pluginId);
|
||||
if (plugin == null || PluginManagerMain.isDevelopedByJetBrains(plugin)) {
|
||||
if (plugin == null) {
|
||||
return getCorePluginSubmitter(reporters);
|
||||
}
|
||||
for (ErrorReportSubmitter reporter : reporters) {
|
||||
@@ -1019,6 +1019,9 @@ public class IdeErrorsDialog extends DialogWrapper implements MessagePoolListene
|
||||
return reporter;
|
||||
}
|
||||
}
|
||||
if (PluginManagerMain.isDevelopedByJetBrains(plugin)) {
|
||||
return getCorePluginSubmitter(reporters);
|
||||
}
|
||||
return null;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user