661     var $proxy_port = 8080;  variable in XML_RPC_Client
716      * @param integer $proxy_port  a port for connecting to the remote server.
725                             $proxy = '', $proxy_port = 0,  argument
762                 if ($proxy_port == 443) {
765                     $this->proxy_port     = 443;
768                     if ($proxy_port) {
769                         $this->proxy_port = $proxy_port;
780                 if ($proxy_port) {
781                     $this->proxy_port = $proxy_port;
783                     $this->proxy_port = 443;
948                               . $this->proxy . ':' . $this->proxy_port
1002             if ($this->proxy_port) {