From 68791237619ba371b86e497f783449b29b9c8df5 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Sat, 17 May 2003 05:06:08 +0000
Subject: [PATCH] This seems to help too.

---
 login/logout.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/login/logout.php b/login/logout.php
index 09e9fddb2e..298aaa9d28 100644
--- a/login/logout.php
+++ b/login/logout.php
@@ -12,6 +12,9 @@
     unset($_SESSION['USER']);
     unset($_SESSION['SESSION']);
 
+    unset($SESSION);
+    unset($USER);
+
     redirect($CFG->wwwroot);
 
 ?>
-- 
2.39.5