libs/PHPCrawler.class.php
public function setPort($port)
  {
    // Check port
    if (!preg_match("#^[0-9]{1,5}$#", $port)) return false;

    // Add port to the starting-URL
    $url_parts = PHPCrawlerUtils::splitURL($this->starting_url);
    $url_parts["port"] = $port;
    $this->starting_url = PHPCrawlerUtils::buildURLFromParts($url_parts, true);
    
    return true;
  }
public function setPort($port)
  {
    // Check port
    if (!preg_match("#^[0-9]{1,5}$#", $port)) return false;

    // Add port to the starting-URL
    $url_parts = PHPCrawlerUtils::splitURL($this->starting_url);
    $url_parts["port"] = $port;
    $this->starting_url = PHPCrawlerUtils::buildURLFromParts($url_parts, true);
    
    return true;
  }
Sets the port to connect to for crawling the starting-url set in setUrl().

The default port is 80.

Note:
<code>
$cralwer->setURL("http://www.foo.com");
$crawler->setPort(443);
</code>
effects the same as

<code>
$cralwer->setURL("http://www.foo.com:443");
</code>

@param int $port The port
@return bool
@section 1 Basic settings