JavaScript Editor Javascript validator     Web page editor 
↑


PEAR Manual
PrevNext

PEAR_ChannelFile::setPort()

PEAR_ChannelFile::setPort()  -- Set the socket number (port) that is used to connect to this channel

Synopsis

require_once '/ChannelFile.php';

void PEAR_ChannelFile::setPort (integer $port, string|false [$mirror = FALSE])

Description

As web services connect to channels through web servers, this can be used to set the port that should be used to connect. Default is 80 for regular webservers, and 443 for SSL secure servers.

Parameter

integer $port

port number

string|FALSE $mirror

name of the mirror server, or FALSE for the primary server

Throws

throws no exceptions thrown

Note

This function can not be called statically.

PrevHomeNext
PEAR_ChannelFile::setPath()UpPEAR_ChannelFile::setServer()

→


JavaScript Editor Javascript validator     Web page editor