Changeset 1480 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java

Timestamp:

2009-03-10T17:07:46+01:00 (15 years ago)

Author:

stoecker

Message:

added user agent

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -522 +522 @@
 
     private void setSystemProperties() {
-        Properties sysProp = System.getProperties();
         if (getBoolean(ProxyPreferences.PROXY_ENABLE)) {
+            Properties sysProp = System.getProperties();
             sysProp.put("proxySet", "true");
             sysProp.put("http.proxyHost", get(ProxyPreferences.PROXY_HOST));
@@ -531 +531 @@
                 sysProp.put("proxyPassword", get(ProxyPreferences.PROXY_PASS));
             }
-        }/* else {
-            sysProp.put("proxySet", "false");
-            sysProp.remove("http.proxyHost");
-            sysProp.remove("proxyPort");
-            sysProp.remove("proxyUser");
-            sysProp.remove("proxyPassword");
-        }*/
-        System.setProperties(sysProp);
+            System.setProperties(sysProp);
+        }
+        AboutAction.setUserAgent();
     }
 }