|
@@ 4504-4508 (lines=5) @@
|
| 4501 |
|
$SERVER_NAME = $_SERVER['SERVER_NAME']; |
| 4502 |
|
$SCRIPT_NAME = isset($_SERVER['PHP_SELF']) ? $_SERVER['PHP_SELF'] : $_SERVER['SCRIPT_NAME']; |
| 4503 |
|
$HTTPS = isset($_SERVER['HTTPS']) ? $_SERVER['HTTPS'] : (isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'); |
| 4504 |
|
} elseif (isset($HTTP_SERVER_VARS)) { |
| 4505 |
|
$SERVER_NAME = $HTTP_SERVER_VARS['SERVER_NAME']; |
| 4506 |
|
$SCRIPT_NAME = isset($HTTP_SERVER_VARS['PHP_SELF']) ? $HTTP_SERVER_VARS['PHP_SELF'] : $HTTP_SERVER_VARS['SCRIPT_NAME']; |
| 4507 |
|
$HTTPS = isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'; |
| 4508 |
|
} else { |
| 4509 |
|
$this->setError("Neither _SERVER nor HTTP_SERVER_VARS is available"); |
| 4510 |
|
} |
| 4511 |
|
if ($HTTPS == '1' || $HTTPS == 'on') { |
|
@@ 4580-4585 (lines=6) @@
|
| 4577 |
|
$SERVER_PORT = $_SERVER['SERVER_PORT']; |
| 4578 |
|
$SCRIPT_NAME = isset($_SERVER['PHP_SELF']) ? $_SERVER['PHP_SELF'] : $_SERVER['SCRIPT_NAME']; |
| 4579 |
|
$HTTPS = isset($_SERVER['HTTPS']) ? $_SERVER['HTTPS'] : (isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'); |
| 4580 |
|
} elseif (isset($HTTP_SERVER_VARS)) { |
| 4581 |
|
$SERVER_NAME = $HTTP_SERVER_VARS['SERVER_NAME']; |
| 4582 |
|
$SERVER_PORT = $HTTP_SERVER_VARS['SERVER_PORT']; |
| 4583 |
|
$SCRIPT_NAME = isset($HTTP_SERVER_VARS['PHP_SELF']) ? $HTTP_SERVER_VARS['PHP_SELF'] : $HTTP_SERVER_VARS['SCRIPT_NAME']; |
| 4584 |
|
$HTTPS = isset($HTTP_SERVER_VARS['HTTPS']) ? $HTTP_SERVER_VARS['HTTPS'] : 'off'; |
| 4585 |
|
} else { |
| 4586 |
|
$this->setError("Neither _SERVER nor HTTP_SERVER_VARS is available"); |
| 4587 |
|
} |
| 4588 |
|
// If server name has port number attached then strip it (else port number gets duplicated in WSDL output) (occurred using lighttpd and FastCGI) |