Changeset 9120 in josm for trunk/src/org


Ignore:
Timestamp:
2015-12-14T22:22:18+01:00 (4 years ago)
Author:
stoecker
Message:

see #12189 - also update http to https

File:
1 edited

Legend:

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

    r9119 r9120  
    18201820        // update old style JOSM server links to use zip now, see #10581, #12189
    18211821        // actually also cache and mirror entries should be cleared
    1822         if (getInteger("josm.version", Version.getInstance().getVersion()) < 9119) {
     1822        if (getInteger("josm.version", Version.getInstance().getVersion()) < 9120) {
    18231823            for (String key: new String[]{"mappaint.style.entries", "taggingpreset.entries"}) {
    18241824                Collection<Map<String, String>> data = getListOfStructs(key, (Collection<Map<String, String>>) null);
     
    18341834                                 val += "&zip=1";
    18351835                                 modified = true;
    1836 
     1836                             }
     1837                             if ("url".equals(mkey) && val.contains("http://josm.openstreetmap.de/josmfile")) {
     1838                                 val = val.replace("http://", "https://");
     1839                                 modified = true;
    18371840                             }
    18381841                             newmap.put(mkey, val);
Note: See TracChangeset for help on using the changeset viewer.