/**
* 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
*/
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;
}
