diff options
author | filip <filip.komar@gmail.com> | 2016-06-13 01:25:30 +0200 |
---|---|---|
committer | filip <filip.komar@gmail.com> | 2016-06-13 01:25:30 +0200 |
commit | 2ee497f233166212ea31439c64272b22fc0d2f4e (patch) | |
tree | df16fef4b450fa8d34f853143653fb37de7f9369 /index.php | |
parent | 89de05fad0c205ad0d5d8475cbb9fd94a9bb5f83 (diff) | |
download | www-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.php | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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/" |