From: martin <martin>
Date: Thu, 24 Jan 2002 07:20:40 +0000 (+0000)
Subject: Changed unset($USER)  to $USER=NULL ... as unset can cause problems with PHP 4.1
X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=566bb7086eeb9e7646cc63fd3923307bcba39fee;p=moodle.git

Changed unset($USER)  to $USER=NULL ... as unset can cause problems with PHP 4.1
---

diff --git a/login/logout.php b/login/logout.php
index 33a8192d1f..7d94ab3f47 100644
--- a/login/logout.php
+++ b/login/logout.php
@@ -4,7 +4,7 @@
     require("../config.php");
 
     add_to_log("Logged out");
-    unset($USER);
+    $USER = NULL;
     redirect($HTTP_REFERER);
     exit;