Changeset 9206 in josm


Ignore:
Timestamp:
2015-12-28T22:00:20+01:00 (6 years ago)
Author:
simon04
Message:

see #12189 - Another attempt to update presets/style URLs

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/data/Preferences.java

    r9129 r9206  
    18781878        // update old style JOSM server links to use zip now, see #10581, #12189
    18791879        // actually also cache and mirror entries should be cleared
    1880         if (getInteger("josm.version", Version.getInstance().getVersion()) < 9120) {
     1880        if (getInteger("josm.version", 0 /* current version avoids this value being written in #save() */) < 9206) {
    18811881            for (String key: new String[]{"mappaint.style.entries", "taggingpreset.entries"}) {
    18821882                Collection<Map<String, String>> data = getListOfStructs(key, (Collection<Map<String, String>>) null);
Note: See TracChangeset for help on using the changeset viewer.