http_proxy_port

Background

This option sets the port of a proxy server used for crawling.

The http_port is the port number to access the proxy server, for example the Squid proxy server uses port 3128 by default.

Setting the key

Set this configuration key in the search package or data source configuration.

Use the configuration key editor to add or edit the http_proxy_port key, and set the value. This can be set to any valid Integer value.

Default value

http_proxy_port=

Examples

http_proxy=gateway.company.com
http_proxy_port=8080
http_proxy_user=fred
http_proxy_passwd=my,password