require_once '/ChannelFile.php';
int|80 PEAR_ChannelFile::getPort (mixed [$mirror = FALSE])
int|80 PEAR_ChannelFile::getPort
web services are served through http servers, and so most servers use port 80. This function can be used to determine if a non-standard port is in use at a channel.
Mirror name or FALSE for primary server
returns port number to connect to
throws no exceptions thrown
This function can not be called statically.
