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

2007-01-20 13:39:38 +00:00
parent 5c6347ceeb
commit 2d4beaff07
1 changed files with 1 additions and 1 deletions
@@ -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);