Re: [JPP-Devel] Setting http User-Agent

2013-04-03 Thread edgar . soldin
just added default oj version string, can be overridden with -Dhttp.agent= to the trunk. rev 3465. ..ede On 03.04.2013 11:03, edgar.sol...@web.de wrote: > As this enhances function in now way, i would advise not spend to much effort > on it. Good way to spread the OJ string into access logs tho

Re: [JPP-Devel] Setting http User-Agent

2013-04-03 Thread edgar . soldin
As this enhances function in now way, i would advise not spend to much effort on it. Good way to spread the OJ string into access logs though. Setting System.setProperty ("http.agent", "OpenJUMP ") should suffice for the most use cases and is automatically propagated to each new http connection