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