aboutsummaryrefslogtreecommitdiffstats
path: root/index.php
diff options
context:
space:
mode:
authorfilip <filip.komar@gmail.com>2016-06-13 01:25:30 +0200
committerfilip <filip.komar@gmail.com>2016-06-13 01:25:30 +0200
commit2ee497f233166212ea31439c64272b22fc0d2f4e (patch)
treedf16fef4b450fa8d34f853143653fb37de7f9369 /index.php
parent89de05fad0c205ad0d5d8475cbb9fd94a9bb5f83 (diff)
downloadwww-2ee497f233166212ea31439c64272b22fc0d2f4e.tar
www-2ee497f233166212ea31439c64272b22fc0d2f4e.tar.gz
www-2ee497f233166212ea31439c64272b22fc0d2f4e.tar.bz2
www-2ee497f233166212ea31439c64272b22fc0d2f4e.tar.xz
www-2ee497f233166212ea31439c64272b22fc0d2f4e.zip
ligher server load with redirection
adding some 'die' instructions after header('Location: ...
Diffstat (limited to 'index.php')
-rw-r--r--index.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/index.php b/index.php
index 63c4c5f7e..ba5af2ea2 100644
--- a/index.php
+++ b/index.php
@@ -23,6 +23,7 @@ elseif (isset($_GET['fromtld'])) {
elseif (isset($_SERVER['APP_MODE']) && $_SERVER['APP_MODE'] !== 'prod') {
// don't change domain in developer mode
header(sprintf('Location: //%s%s', $_SERVER['SERVER_NAME'], $_SERVER['REQUEST_URI']));
+ die;
}
elseif (G_VHOST != $www_domain) {
// rewrite "//mageia.it/" to "//www.mageia.org/it/"