Changeset 8018 in josm for trunk/src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java

Timestamp:

2015-02-09T09:39:45+01:00 (10 years ago)

Author:

bastiK

Message:

fix compile error from [8017]

File:

• trunk/src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java

@@ -127 +127 @@
                     } else {
                         // Ask for restart to install new plugin
-                        PluginPreference.notifyDownloadResults(Main.parent, pluginDownloadTask);
+                        PluginPreference.notifyDownloadResults(
+                                Main.parent, pluginDownloadTask, !pluginDownloadTask.getDownloadedPlugins().isEmpty());
                     }
                 }