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

Timestamp:

2013-04-21T12:05:41+02:00 (12 years ago)

Author:

stoecker

Message:

fix #8562 - use IPv6 when existing

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (1 diff)

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

@@ -1328 +1328 @@
      */
     public void updateSystemProperties() {
+        if(getBoolean("prefer.ipv6", true)) {
+            // never set this to false, only true!
+            updateSystemProperty("java.net.preferIPv6Addresses", "true");
+        }
         updateSystemProperty("http.agent", Version.getInstance().getAgentString());
         updateSystemProperty("user.language", get("language"));