59177427 |
1 | <?php |
2e8d4c5b |
2 | // Get the path |
8241c8d9 |
3 | $path = substr($PHP_SELF, 0, strrpos($PHP_SELF, '/')); |
8241c8d9 |
4 | |
2e8d4c5b |
5 | // Check if this is a HTTPS or regular HTTP request |
6 | $proto = "http://"; |
7 | if(isset($HTTPS) && $HTTPS == 'on' ) { |
8 | $proto = "https://"; |
9 | } |
10 | |
11 | // Get the hostname from the Host header or server config. |
12 | // Fallback is to omit the server name and use a relative URI, |
13 | // although this is not RFC 2616 compliant. |
14 | if(isset($HTTP_HOST) && !empty($HTTP_HOST)) { |
15 | $location = $proto . $HTTP_HOST . $path; |
16 | } else if(isset($SERVER_NAME) && !empty($SERVER_NAME)) { |
17 | $location = $proto . $SERVER_NAME . $path; |
18 | } else { |
19 | $location = $path; |
20 | } |
21 | |
22 | // Redirect |
23 | header("Location: $location/src/login.php\n\n"); |
8241c8d9 |
24 | exit(); |
babe7398 |
25 | ?> |