Re: [basex-talk] Java proxy host & port & credentials

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