Christian,

No. I have not.

But I am using basex through XQJ java interface and need to set proxy host&port and user name and password.

Thanks

Erol Akarsu

On Mon, May 7, 2012 at 5:39 PM, Christian Grün <christian.gruen@gmail.com> wrote:
> I would like basex to use Java proxy host & port & credentials when basexis
> making url request to pull binary data from a remote web site.
> How can I set these proxy settings?

Did you already have a look at the proxy options (PROXYHOST,
PROXYPORT, NONPROXYHOSTS)[1]?
Christian

[1] http://docs.basex.org/wiki/Options#PROXYHOST