Changeset 2641 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java
- Timestamp:
- 2009-12-16T18:58:04+01:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r2620 r2641 26 26 import java.util.Map.Entry; 27 27 import java.util.concurrent.CopyOnWriteArrayList; 28 import java.util.logging.Logger; 28 29 import java.util.regex.Matcher; 29 30 import java.util.regex.Pattern; … … 32 33 33 34 import org.openstreetmap.josm.Main; 34 import org.openstreetmap.josm.gui.preferences.ProxyPreferences;35 35 import org.openstreetmap.josm.tools.ColorHelper; 36 36 … … 44 44 */ 45 45 public class Preferences { 46 static private final Logger logger = Logger.getLogger(Preferences.class.getName()); 46 47 47 48 /** … … 731 732 public void updateSystemProperties() { 732 733 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 }743 734 sysProp.put("http.agent", Version.getInstance().getAgentString()); 744 735 System.setProperties(sysProp);
Note:
See TracChangeset
for help on using the changeset viewer.