Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/io/DefaultProxySelector.java

Timestamp:

2017-09-13T16:30:27+02:00 (7 years ago)

Author:

bastiK

Message:

see #15229 - fix deprecations caused by [12840]

File:

• trunk/src/org/openstreetmap/josm/io/DefaultProxySelector.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/io/DefaultProxySelector.java

@@ -161 +161 @@
         }
         proxyExceptions = new HashSet<>(
-            Main.pref.getCollection(PROXY_EXCEPTIONS,
+            Main.pref.getList(PROXY_EXCEPTIONS,
                     Arrays.asList("localhost", IPV4_LOOPBACK, IPV6_LOOPBACK))
         );