Changeset 5892 in josm for trunk


Ignore:
Timestamp:
2013-04-21T12:05:41+02:00 (7 years ago)
Author:
stoecker
Message:

fix #8562 - use IPv6 when existing

File:
1 edited

Legend:

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

    r5890 r5892  
    13281328     */
    13291329    public void updateSystemProperties() {
     1330        if(getBoolean("prefer.ipv6", true)) {
     1331            // never set this to false, only true!
     1332            updateSystemProperty("java.net.preferIPv6Addresses", "true");
     1333        }
    13301334        updateSystemProperty("http.agent", Version.getInstance().getAgentString());
    13311335        updateSystemProperty("user.language", get("language"));
Note: See TracChangeset for help on using the changeset viewer.