ADD The optional replace parameter

Signed-off-by: Christopher Guindon <chris.guindon@eclipse.org>
diff --git a/index.php b/index.php
index 015d52b..0f129eb 100644
--- a/index.php
+++ b/index.php
@@ -24,7 +24,7 @@
     setcookie('eclipse_mars', 'eclipse_mars', time()+3600*24*365, "/", ".eclipse.org");
   }
   else {
-    header('Location: /home/index.php', 302);
+    header('Location: /home/index.php', TRUE, 302);
     exit();
   }
 }