JavaScript Editor Javascript validator     Web page editor 
↑


PEAR Manual
PrevNext

PEAR_ChannelFile::setServer()

PEAR_ChannelFile::setServer()  -- set the Channel server

Synopsis

require_once '/ChannelFile.php';

string|false PEAR_ChannelFile::setServer (string $server, string|false [$mirror = FALSE])

Description

This is an alias to setName().

Parameter

string $server

Server name

string|FALSE $mirror

Mirror server name or FALSE for primary server.

Throws

throws no exceptions thrown

Note

This function can not be called statically.

PrevHomeNext
PEAR_ChannelFile::setPort()UpPEAR_ChannelFile::setSSL()

→


JavaScript Editor Javascript validator     Web page editor