Ignore:
Timestamp:
2009-12-16T18:58:04+01:00 (14 years ago)
Author:
Gubaer
Message:

new: supports system defined proxies if JOSM is started with -Djava.net.useSystemProxies=true
fixed #1641: JOSM doesn't allow for setting HTTP proxy user/password distrinct from OSM server user/password
fixed #2865: SOCKS Proxy Support
fixed #4182: Proxy Authentication

File:
1 edited

Legend:

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

    r2620 r2641  
    2626import java.util.Map.Entry;
    2727import java.util.concurrent.CopyOnWriteArrayList;
     28import java.util.logging.Logger;
    2829import java.util.regex.Matcher;
    2930import java.util.regex.Pattern;
     
    3233
    3334import org.openstreetmap.josm.Main;
    34 import org.openstreetmap.josm.gui.preferences.ProxyPreferences;
    3535import org.openstreetmap.josm.tools.ColorHelper;
    3636
     
    4444 */
    4545public class Preferences {
     46    static private final Logger logger = Logger.getLogger(Preferences.class.getName());
    4647
    4748    /**
     
    731732    public void updateSystemProperties() {
    732733        Properties sysProp = System.getProperties();
    733         if (getBoolean(ProxyPreferences.PROXY_ENABLE)) {
    734             sysProp.put("proxySet", "true");
    735             sysProp.put("http.proxyHost", get(ProxyPreferences.PROXY_HOST));
    736             sysProp.put("proxyPort", get(ProxyPreferences.PROXY_PORT));
    737             if (!getBoolean(ProxyPreferences.PROXY_ANONYMOUS)) {
    738                 sysProp.put("proxyUser", get(ProxyPreferences.PROXY_USER));
    739                 sysProp.put("proxyPassword", get(ProxyPreferences.PROXY_PASS));
    740             }
    741 
    742         }
    743734        sysProp.put("http.agent", Version.getInstance().getAgentString());
    744735        System.setProperties(sysProp);
Note: See TracChangeset for help on using the changeset viewer.