On Sun, 3 Jan 2016, Simon Legner wrote:
On Sat, Jan 2, 2016 at 11:26 PM, Simon Legner <simon.leg...@gmail.com> wrote:
what about an expert (for now) option (such as prefer.ipv6=jvm) to
disable JOSM's algorithm completely and solely rely on the JVM to
figure out the correct way to connect to a server?
I checked the code: This should already work w/o any code changes. Set
`prefer.ipv6` to `jvm` (or anything different from `auto` and `true`)
in the advanced preferences. If necessary, set one of the JVM system
properties [1].
That disables IPv6 usage and is identical to "false".
Ciao
--
http://www.dstoecker.eu/ (PGP key available)
_______________________________________________
josm-dev mailing list
josm-dev@openstreetmap.org
https://lists.openstreetmap.org/listinfo/josm-dev
