Changeset 13294 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2018-01-07T22:54:01+01:00 (6 years ago)

Author:

Don-vip

Message:

fix #15554 - fix plugin classloader after plugin update

File:

• trunk/src/org/openstreetmap/josm/gui/MainApplication.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/MainApplication.java

@@ -1226 +1226 @@
 
         monitor.indeterminateSubTask(tr("Installing updated plugins"));
-        PluginHandler.installDownloadedPlugins(true);
+        PluginHandler.installDownloadedPlugins(pluginsToLoad, true);
 
         monitor.indeterminateSubTask(tr("Loading early plugins"));