Changeset 6971 in josm

Timestamp:

2014-04-12T09:45:42+02:00 (10 years ago)

Author:

akks

Message:

Add proxy.exceptions advanced parameter (localhost and 127.0.0.1 by default)

Location:

trunk/src/org/openstreetmap/josm

Files:

• gui/preferences/server/ProxyPreferencesPanel.java (modified) (1 diff)
• io/DefaultProxySelector.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreferencesPanel.java

@@ -97 +97 @@
     /** Property key for proxy password */
     public static final String PROXY_PASS = "proxy.pass";
+    /** Property key for proxy exceptions list */
+    public static final String PROXY_EXCEPTIONS = "proxy.exceptions";
 
     private Map<ProxyPolicy, JRadioButton> rbProxyPolicy;

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

@@ -11 +11 @@
 import java.net.SocketAddress;
 import java.net.URI;
+import java.util.Arrays;
 import java.util.Collections;
 import java.util.HashSet;
@@ -65 +66 @@
     private final Set<String> errorResources = new HashSet<String>();
     private final Set<String> errorMessages = new HashSet<String>();
+    private Set<String> proxyExceptions;
 
     /**
@@ -138 +140 @@
             }
         }
+        proxyExceptions = new HashSet<String>(
+            Main.pref.getCollection(ProxyPreferencesPanel.PROXY_EXCEPTIONS,
+                    Arrays.asList(new String[]{"localhost", "127.0.0.1"}))
+        );
     }
 
@@ -187 +193 @@
     @Override
     public List<Proxy> select(URI uri) {
-        if (uri != null && "localhost".equals(uri.getHost())) {
+        if (uri != null && proxyExceptions.contains(uri.getHost())) {
             return NO_PROXY_LIST;
         }