Changeset 13445 in josm


Ignore:
Timestamp:
2018-02-19T00:48:24+01:00 (7 years ago)
Author:
Don-vip
Message:

fix #15901 - allow file:/ URLs

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/MainApplication.java

    r13443 r13445  
    961961            for (String i : args.get(Option.LOAD_PREFERENCES)) {
    962962                try {
    963                     URL url = i.contains("://") ? new URL(i) : Paths.get(i).toUri().toURL();
     963                    URL url = i.contains(":/") ? new URL(i) : Paths.get(i).toUri().toURL();
    964964                    Logging.info("Reading preferences from " + url);
    965965                    try (InputStream is = Utils.openStream(url)) {
Note: See TracChangeset for help on using the changeset viewer.