From 566bb7086eeb9e7646cc63fd3923307bcba39fee Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Thu, 24 Jan 2002 07:20:40 +0000
Subject: [PATCH] Changed unset($USER)  to $USER=NULL ... as unset can cause
 problems with PHP 4.1

---
 login/logout.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 
-- 
2.39.5