Changeset 15227 in josm for trunk/src

Timestamp:

2019-07-07T19:04:57+02:00 (5 years ago)

Author:

Don-vip

Message:

fix #17881 - fix bad refresh of plugin jar files after plugin update

Location:

trunk/src/org/openstreetmap/josm

Files:

• gui/preferences/plugin/PluginPreferencesModel.java (modified) (1 diff)
• plugins/PluginHandler.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java

@@ -368 +368 @@
                     PluginInformation oldinfo = getPluginInformation(pi.name);
                     if (oldinfo != null) {
-                        oldinfo.updateLocalInfo(newinfo);
+                        oldinfo.updateFromJar(newinfo);
                     }
                 } catch (PluginException e) {

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

@@ -1357 +1357 @@
             return true;
         } else if (jar != null) {
-            Logging.warn("Invalid jar file ''"+jar+"'' (exists: "+jar.exists()+", canRead: "+jar.canRead()+')');
+            Logging.debug("Invalid jar file ''"+jar+"'' (exists: "+jar.exists()+", canRead: "+jar.canRead()+')');
         }
         return false;