Changeset 8030 in josm for trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

Timestamp:

2015-02-10T10:56:51+01:00 (9 years ago)

Author:

bastiK

Message:

see #11090 - refresh plugin info after download & before loading

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

@@ -896 +896 @@
             //
             ReadRemotePluginInformationTask task1 = new ReadRemotePluginInformationTask(
-                    monitor.createSubTaskMonitor(1,false),
+                    monitor.createSubTaskMonitor(1, false),
                     Main.pref.getPluginSites(), displayErrMsg
             );
@@ -905 +905 @@
                 future.get();
                 allPlugins = task1.getAvailablePlugins();
-                plugins = buildListOfPluginsToLoad(parent,monitor.createSubTaskMonitor(1, false));
+                plugins = buildListOfPluginsToLoad(parent, monitor.createSubTaskMonitor(1, false));
                 // If only some plugins have to be updated, filter the list
                 if (pluginsWanted != null && !pluginsWanted.isEmpty()) {