libs/PHPCrawler.class.php
public function setProxy($proxy_host, $proxy_port, $proxy_username = null, $proxy_password = null)
  {
    $this->PageRequest->setProxy($proxy_host, $proxy_port, $proxy_username, $proxy_password);
  }
public function setProxy($proxy_host, $proxy_port, $proxy_username = null, $proxy_password = null)
  {
    $this->PageRequest->setProxy($proxy_host, $proxy_port, $proxy_username, $proxy_password);
  }
Assigns a proxy-server the crawler should use for all HTTP-Requests.

@param string $proxy_host     Hostname or IP of the proxy-server
@param int    $proxy_port     Port of the proxy-server
@param string $proxy_username Optional. The username for proxy-authentication or NULL if no authentication is required.
@param string $proxy_password Optional. The password for proxy-authentication or NULL if no authentication is required.

@section 10 Other settings