Changeset 9119 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java

Timestamp:

2015-12-14T22:05:12+01:00 (8 years ago)

Author:

stoecker

Message:

see #12189 - try again to update presets and style URL's

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -1817 +1817 @@
      */
     public void removeObsolete() {
-        // drop this block end of 2015
-        // update old style JOSM server links to use zip now, see #10581
+        // drop this block march 2016
+        // update old style JOSM server links to use zip now, see #10581, #12189
         // actually also cache and mirror entries should be cleared
-        if (getInteger("josm.version", Version.getInstance().getVersion()) < 8099) {
+        if (getInteger("josm.version", Version.getInstance().getVersion()) < 9119) {
             for (String key: new String[]{"mappaint.style.entries", "taggingpreset.entries"}) {
                 Collection<Map<String, String>> data = getListOfStructs(key, (Collection<Map<String, String>>) null);