|
@@ 4757-4761 (lines=5) @@
|
| 4754 |
|
$SERVER_NAME = $_SERVER['SERVER_NAME']; |
| 4755 |
|
$SCRIPT_NAME = isset($_SERVER['PHP_SELF']) ? $_SERVER['PHP_SELF'] : $_SERVER['SCRIPT_NAME']; |
| 4756 |
|
$HTTPS = isset($_SERVER['HTTPS']) ? $_SERVER['HTTPS'] : (isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'); |
| 4757 |
|
} elseif (isset($HTTP_SERVER_VARS)) { |
| 4758 |
|
$SERVER_NAME = $HTTP_SERVER_VARS['SERVER_NAME']; |
| 4759 |
|
$SCRIPT_NAME = isset($HTTP_SERVER_VARS['PHP_SELF']) ? $HTTP_SERVER_VARS['PHP_SELF'] : $HTTP_SERVER_VARS['SCRIPT_NAME']; |
| 4760 |
|
$HTTPS = isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'; |
| 4761 |
|
} else { |
| 4762 |
|
$this->setError('Neither _SERVER nor HTTP_SERVER_VARS is available'); |
| 4763 |
|
} |
| 4764 |
|
if ($HTTPS == '1' || $HTTPS === 'on') { |
|
@@ 4841-4846 (lines=6) @@
|
| 4838 |
|
$SERVER_PORT = $_SERVER['SERVER_PORT']; |
| 4839 |
|
$SCRIPT_NAME = isset($_SERVER['PHP_SELF']) ? $_SERVER['PHP_SELF'] : $_SERVER['SCRIPT_NAME']; |
| 4840 |
|
$HTTPS = isset($_SERVER['HTTPS']) ? $_SERVER['HTTPS'] : (isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'); |
| 4841 |
|
} elseif (isset($HTTP_SERVER_VARS)) { |
| 4842 |
|
$SERVER_NAME = $HTTP_SERVER_VARS['SERVER_NAME']; |
| 4843 |
|
$SERVER_PORT = $HTTP_SERVER_VARS['SERVER_PORT']; |
| 4844 |
|
$SCRIPT_NAME = isset($HTTP_SERVER_VARS['PHP_SELF']) ? $HTTP_SERVER_VARS['PHP_SELF'] : $HTTP_SERVER_VARS['SCRIPT_NAME']; |
| 4845 |
|
$HTTPS = isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'; |
| 4846 |
|
} else { |
| 4847 |
|
$this->setError('Neither _SERVER nor HTTP_SERVER_VARS is available'); |
| 4848 |
|
} |
| 4849 |
|
// If server name has port number attached then strip it (else port number gets duplicated in WSDL output) (occurred using lighttpd and FastCGI) |