- Timestamp:
- 2014-03-30T01:17:23+01:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r6946 r6950 1280 1280 // Workaround to fix a Java "feature" 1281 1281 // See http://stackoverflow.com/q/7615645/2257172 and #9875 1282 updateSystemProperty("jsse.enableSNIExtension", "false"); 1282 if (getBoolean("jdk.tls.disableSNIExtension", true)) { 1283 updateSystemProperty("jsse.enableSNIExtension", "false"); 1284 } 1283 1285 // Workaround to fix another Java bug 1284 1286 // Force Java 7 to use old sorting algorithm of Arrays.sort (fix #8712).
Note:
See TracChangeset
for help on using the changeset viewer.