PEAR Manual
PrevNext

PEAR_ChannelFile::getPort()

PEAR_ChannelFile::getPort()  -- retrieve the socket port used to connect to the server

Synopsis

require_once '/ChannelFile.php';

int|80 PEAR_ChannelFile::getPort (mixed [$mirror = FALSE])

Description

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.

Parameter

mixed $mirror

Mirror name or FALSE for primary server

Return value

returns port number to connect to

Throws

throws no exceptions thrown

Note

This function can not be called statically.

PrevHomeNext
PEAR_ChannelFile::getPath()UpPEAR_ChannelFile::getServer()