cosmetic fix - added missing global $SESSION in require_logout()

diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index e62b1b26f22ceaf0a652937a1b1b4c4acd1194f9..ee1a333a8027fc29cd7d2a979263534173989067 100644 (file)
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -1779,7 +1779,7 @@ function require_login($courseorid=0, $autologinguest=true, $cm=null) {
  */
 function require_logout() {
 
-    global $USER, $CFG;
+    global $USER, $CFG, $SESSION;
 
     if (isset($USER) and isset($USER->id)) {
         add_to_log(SITEID, "user", "logout", "view.php?id=$USER->id&course=".SITEID, $USER->id, 0, $USER->id);