Changeset 9120 in josm

Timestamp:

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

Author:

stoecker

Message:

see #12189 - also update http to https

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (2 diffs)

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

@@ -1820 +1820 @@
         // 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()) < 9119) {
+        if (getInteger("josm.version", Version.getInstance().getVersion()) < 9120) {
             for (String key: new String[]{"mappaint.style.entries", "taggingpreset.entries"}) {
                 Collection<Map<String, String>> data = getListOfStructs(key, (Collection<Map<String, String>>) null);
@@ -1834 +1834 @@
                                  val += "&zip=1";
                                  modified = true;
-
+                             }
+                             if ("url".equals(mkey) && val.contains("http://josm.openstreetmap.de/josmfile")) {
+                                 val = val.replace("http://", "https://");
+                                 modified = true;
                              }
                              newmap.put(mkey, val);