Index: /trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java =================================================================== --- /trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java (revision 8017) +++ /trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java (revision 8018) @@ -123,5 +123,5 @@ * @since 6797 */ - public void notifyDownloadResults(final Component parent, PluginDownloadTask task) { + public static void notifyDownloadResults(final Component parent, PluginDownloadTask task, boolean restartRequired) { final Collection downloaded = task.getDownloadedPlugins(); final Collection failed = task.getFailedPlugins(); @@ -129,11 +129,4 @@ sb.append(""); sb.append(buildDownloadSummary(task)); - boolean restartRequired = false; - for (PluginInformation pi : downloaded) { - if (!model.getNewlyActivatedPlugins().contains(pi) || !pi.canloadatruntime) { - restartRequired = true; - break; - } - } if (restartRequired) { sb.append(tr("Please restart JOSM to activate the downloaded plugins.")); @@ -428,5 +421,12 @@ if (pluginDownloadTask.isCanceled()) return; - notifyDownloadResults(pnlPluginPreferences, pluginDownloadTask); + boolean restartRequired = false; + for (PluginInformation pi : pluginDownloadTask.getDownloadedPlugins()) { + if (!model.getNewlyActivatedPlugins().contains(pi) || !pi.canloadatruntime) { + restartRequired = true; + break; + } + } + notifyDownloadResults(pnlPluginPreferences, pluginDownloadTask, restartRequired); model.refreshLocalPluginVersion(pluginDownloadTask.getDownloadedPlugins()); model.clearPendingPlugins(pluginDownloadTask.getDownloadedPlugins()); Index: /trunk/src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java =================================================================== --- /trunk/src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java (revision 8017) +++ /trunk/src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java (revision 8018) @@ -127,5 +127,6 @@ } else { // Ask for restart to install new plugin - PluginPreference.notifyDownloadResults(Main.parent, pluginDownloadTask); + PluginPreference.notifyDownloadResults( + Main.parent, pluginDownloadTask, !pluginDownloadTask.getDownloadedPlugins().isEmpty()); } }