don't change domain in developer mode

1 files changed, 4 insertions, 0 deletions

diff --git a/index.php b/index.php
index 72f2913c6..63c4c5f7e 100644
--- a/index.php
+++ b/index.php
@@ -20,6 +20,10 @@ elseif (isset($_GET['fromtld'])) {
     // rewrite "//mageia.org/?fromtld=it" to "//www.mageia.org/it/"
     tld_redirect($_GET['fromtld'], $domains_lang, $www_domain);
 }
+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']));
+}
 elseif (G_VHOST != $www_domain) {
     // rewrite "//mageia.it/" to "//www.mageia.org/it/"
     domain_redirect($_SERVER['SERVER_NAME'], $domains_lang, $www_domain);