When someone logs out, cler all sessions and send them to home page

diff --git a/login/logout.php b/login/logout.php
index c0fda928eb789c2b284ec31c13fb8410eb6ae249..686ecebf17c8153294382335253c2c1d53061d1a 100644 (file)
--- a/login/logout.php
+++ b/login/logout.php
@@ -1,11 +1,12 @@
 <?PHP // $Id$
-// Logs the user out and sends them back where they came from
+// Logs the user out and sends them to the home page
 
     require("../config.php");
 
     $USER = NULL;
+    $SESSION = NULL;
     save_session("USER");
-    redirect($HTTP_REFERER);
-    exit;
+    save_session("SESSION");
+    redirect($CFG->wwwroot);
 
 ?>