diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/html/logout.php | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/web/html/logout.php b/web/html/logout.php index 76736b7e..0d0f15e1 100644 --- a/web/html/logout.php +++ b/web/html/logout.php @@ -19,9 +19,8 @@ if (isset($_COOKIE["AURSID"])) { setcookie("AURLANG", "", time() - (60*60*24*30), "/"); } -html_header(); # print out the HTML header -print __("You have been successfully logged out.")."<br />\n"; - +header('Location: index.php'); +exit; html_footer("\$Id$"); # vim: ts=2 sw=2 noet ft=php |