Pierrick Brihaye wrote: > > Would it be possible to have an option entry for setting up a proxy > (host, port... login, etc) ? > > Something like java options : -Dhttp.proxyHost=host -Dhttp.proxyPort=port. > > It would help in resolving remote identifiers when one is behind a firewall.
Added this feature to the wish list.
