summaryrefslogtreecommitdiffstats
path: root/web
diff options
context:
space:
mode:
Diffstat (limited to 'web')
-rw-r--r--web/html/logout.php5
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