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

2002-01-24 07:20:40 +00:00
parent 873f20962d
commit 566bb7086e
1 changed files with 1 additions and 1 deletions
@@ -4,7 +4,7 @@
    require("../config.php");

    add_to_log("Logged out");
-    unset($USER);
+    $USER = NULL;
    redirect($HTTP_REFERER);
    exit;