public setPort($port)
The default port is 80.Note:$cralwer->setURL("http://www.foo.com");$crawler->setPort(443);effects the same as$cralwer->setURL("http://www.foo.com:443");
$cralwer->setURL("http://www.foo.com");$crawler->setPort(443);
$cralwer->setURL("http://www.foo.com:443");