Changeset 15227 in josm for trunk/src/org/openstreetmap/josm/plugins

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

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (modified) (1 diff)

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;