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 33a8192d1f74cbb51eaa09a81744c85b66aae20f..7d94ab3f473772e726ab73d76538765796800eef 100644 (file)
--- 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;