framework/web/Request.php
public function setPort($value)
    {
        if ($value != $this->_port) {
            $this->_port = (int) $value;
            $this->_hostInfo = null;
        }
    }
public function setPort($value)
    {
        if ($value != $this->_port) {
            $this->_port = (int) $value;
            $this->_hostInfo = null;
        }
    }
public function setPort ( $ value ) { if ( $ value != $ this -> _port ) { $ this -> _port = ( int ) $ value ; $ this -> _hostInfo = null ; } }
Sets the port to use for insecure requests.
This setter is provided in case a custom port is necessary for certain
server configurations.
@param int $value port number.
Sets the port to use for insecure requests . This setter is provided in case a custom port is necessary for certain server configurations .