%proxy-addr(5)

NAME

%proxy-addr - Set HTTP proxy server address
%proxy-port - Set HTTP proxy server port

SYNOPSIS

%proxy-addr "proxy-addr"
%proxy-port "port-number"; Default is 80

DESCRIPTION

If the %proxy-addr variable is set all HTTP file loading requests, using commands like find-file(2), are sent via the given proxy server. %proxy-port should be set to the proxy servers port number, defaulting to 80 if not set. These variables are typically set in your <user>.emf setup file, e.g.:

set-variable %proxy-addr "proxy.foobar.com" 
set-variable %proxy-port "8080" 

NOTES

Note that http is available on unix by default, but must be compiled in for win32 versions.

SEE ALSO

find-file(2).

(c) Copyright JASSPA 1999
Last Modified: 1999/11/29
Generated On: 1999/12/01