Changeset 15227 in josm


Ignore:
Timestamp:
2019-07-07T19:04:57+02:00 (7 weeks ago)
Author:
Don-vip
Message:

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

Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java

    r14384 r15227  
    368368                    PluginInformation oldinfo = getPluginInformation(pi.name);
    369369                    if (oldinfo != null) {
    370                         oldinfo.updateLocalInfo(newinfo);
     370                        oldinfo.updateFromJar(newinfo);
    371371                    }
    372372                } catch (PluginException e) {
  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r15223 r15227  
    13571357            return true;
    13581358        } else if (jar != null) {
    1359             Logging.warn("Invalid jar file ''"+jar+"'' (exists: "+jar.exists()+", canRead: "+jar.canRead()+')');
     1359            Logging.debug("Invalid jar file ''"+jar+"'' (exists: "+jar.exists()+", canRead: "+jar.canRead()+')');
    13601360        }
    13611361        return false;
Note: See TracChangeset for help on using the changeset viewer.