| commit | 9bcc828c4232e9f9a3ecd346eb308cecffdf8ab6 | [log] [tgz] |
|---|---|---|
| author | Christopher Guindon <chris.guindon@eclipse.org> | Mon Jun 22 11:49:31 2015 -0400 |
| committer | Christopher Guindon <chris.guindon@eclipse.org> | Mon Jun 22 11:49:31 2015 -0400 |
| tree | fad13a8507eda90a5e678e8a4b89ca4946e25552 | |
| parent | 2937f8e7e502c7c671091ba1f136f8e1aabdf83e [diff] |
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(); } }