Changes in / [5891:5892] in josm

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"));