Trying to unregister sessions properly and hopefully avoid the "compat"

warnings on some setups

diff --git a/login/logout.php b/login/logout.php
index b9fad41dd6c32f689c5ba89f21229495910999f8..a511e62706b98cd7eef1c8a828c2105fe59f7370 100644 (file)
--- a/login/logout.php
+++ b/login/logout.php
@@ -3,8 +3,14 @@
 
     require_once("../config.php");
 
-    $USER = NULL;
-    $SESSION = NULL;
+    if (ini_get("register_globals")) {
+        // This method is to try to avoid silly warnings from PHP 4.3.0
+        session_unregister("SESSION");
+        session_unregister("USER");
+    } else {
+        unset($_SESSION['USER']);
+        unset($_SESSION['SESSION']);
+    }
     redirect($CFG->wwwroot);
 
 ?>