|  | @@ 4736-4740 (lines=5) @@ | 
                                                            
                                    | 4733 |  |                 $SERVER_NAME = $_SERVER['SERVER_NAME']; | 
                                                            
                                    | 4734 |  |                 $SCRIPT_NAME = isset($_SERVER['PHP_SELF']) ? $_SERVER['PHP_SELF'] : $_SERVER['SCRIPT_NAME']; | 
                                                            
                                    | 4735 |  |                 $HTTPS       = isset($_SERVER['HTTPS']) ? $_SERVER['HTTPS'] : (isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'); | 
                                                            
                                    | 4736 |  |             } elseif (isset($HTTP_SERVER_VARS)) { | 
                                                            
                                    | 4737 |  |                 $SERVER_NAME = $HTTP_SERVER_VARS['SERVER_NAME']; | 
                                                            
                                    | 4738 |  |                 $SCRIPT_NAME = isset($HTTP_SERVER_VARS['PHP_SELF']) ? $HTTP_SERVER_VARS['PHP_SELF'] : $HTTP_SERVER_VARS['SCRIPT_NAME']; | 
                                                            
                                    | 4739 |  |                 $HTTPS       = isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'; | 
                                                            
                                    | 4740 |  |             } else { | 
                                                            
                                    | 4741 |  |                 $this->setError('Neither _SERVER nor HTTP_SERVER_VARS is available'); | 
                                                            
                                    | 4742 |  |             } | 
                                                            
                                    | 4743 |  |             if ($HTTPS == '1' || $HTTPS === 'on') { | 
                                                                                
                                |  | @@ 4820-4825 (lines=6) @@ | 
                                                            
                                    | 4817 |  |             $SERVER_PORT = $_SERVER['SERVER_PORT']; | 
                                                            
                                    | 4818 |  |             $SCRIPT_NAME = isset($_SERVER['PHP_SELF']) ? $_SERVER['PHP_SELF'] : $_SERVER['SCRIPT_NAME']; | 
                                                            
                                    | 4819 |  |             $HTTPS       = isset($_SERVER['HTTPS']) ? $_SERVER['HTTPS'] : (isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'); | 
                                                            
                                    | 4820 |  |         } elseif (isset($HTTP_SERVER_VARS)) { | 
                                                            
                                    | 4821 |  |             $SERVER_NAME = $HTTP_SERVER_VARS['SERVER_NAME']; | 
                                                            
                                    | 4822 |  |             $SERVER_PORT = $HTTP_SERVER_VARS['SERVER_PORT']; | 
                                                            
                                    | 4823 |  |             $SCRIPT_NAME = isset($HTTP_SERVER_VARS['PHP_SELF']) ? $HTTP_SERVER_VARS['PHP_SELF'] : $HTTP_SERVER_VARS['SCRIPT_NAME']; | 
                                                            
                                    | 4824 |  |             $HTTPS       = isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'; | 
                                                            
                                    | 4825 |  |         } else { | 
                                                            
                                    | 4826 |  |             $this->setError('Neither _SERVER nor HTTP_SERVER_VARS is available'); | 
                                                            
                                    | 4827 |  |         } | 
                                                            
                                    | 4828 |  |         // If server name has port number attached then strip it (else port number gets duplicated in WSDL output) (occurred using lighttpd and FastCGI) |