|
@@ 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) |