Main Menu

PHP Tools
PHP Help Request
PHP Editors Newsletter
Editor Search
Reviewed PHP Editors
Latest News
Submit News
PHP Tutorials
PHP Book Reviews
Online Book Chapters
PHP Games

Forums

PHP Desktop Editors
Other PHP Tools
PHP Contests
PHP Programming Help
Linux Help
Apache Help
MySQL Help
PHP Games
PHP Jobs
PHP Forums Home

Programming Contest

PHP Contests
PHP Contests Archive

Documentation

PHP Manual
PEAR Manual
PHP-GTK Manual
Smarty Manual
PostgreSQL Manual
CSS 2 Reference
Redhat Linux 9
HTML 4.01
Apache 2 Manual

Partner Sites

Ajax Tutorials
Webmaster Resources
Web Templates
PHP Scripts
PHP Code Examples
Learn PHP playing Trivia
PHP & MySQL Forums
Web Development Index
web site templates

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.

Prev	Home	Next
PEAR_ChannelFile::setPath()	Up	PEAR_ChannelFile::setServer()