Changeset 13445 in josm for trunk

Timestamp:

2018-02-19T00:48:24+01:00 (7 years ago)

Author:

Don-vip

Message:

fix #15901 - allow file:/ URLs

File:

• trunk/src/org/openstreetmap/josm/gui/MainApplication.java (modified) (1 diff)

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

@@ -961 +961 @@
             for (String i : args.get(Option.LOAD_PREFERENCES)) {
                 try {
-                    URL url = i.contains("://") ? new URL(i) : Paths.get(i).toUri().toURL();
+                    URL url = i.contains(":/") ? new URL(i) : Paths.get(i).toUri().toURL();
                     Logging.info("Reading preferences from " + url);
                     try (InputStream is = Utils.openStream(url)) {