Controlling concurrency: -maxthreadsReferenceConfiguring local checks: -index and -localhtmlUsing a proxy: -proxy and -noproxy

Using a proxy: -proxy and -noproxy

If your machine is located behind a firewall which isolates it from the outside world, you might need to use a proxy. A proxy is a gateway machine which sits between you and the rest of the network and relays your machine's HTTP requests.

If you don't know whether you need a proxy, ask your nearby guru. Having a look at your browser's settings might also help. If you find that you need to use a proxy, give its name to Big Brother using the -proxy option. If the proxy uses a port number other than 80, you must include a colon followed by the port number at the end of the name. For instance, I use

-proxy www-rocq.inria.fr:8080

You usually don't need to use the proxy when connecting to a machine within the same organization as yours, because it is also behind the firewall. In that case, bypassing the proxy should be more efficient. You can tell Big Brother to do so by using the -noproxy option. This option is followed by a regular expression. The expression describes a set of addresses which can be accessed without using the proxy. For instance, I can access all machines within the domain inria.fr without using the proxy, so I specify

-noproxy "^http://.*\.inria\.fr/"


François Pottier, May 5, 2004

Controlling concurrency: -maxthreadsReferenceConfiguring local checks: -index and -localhtmlUsing a proxy: -proxy and -noproxy