The report_session_error() fix does not work all the times. Proper fix here.

2005-09-06 22:15:42 +00:00
parent fa1ce50ec8
commit 6fcc3fab2c
1 changed files with 2 additions and 1 deletions
@@ -6291,7 +6291,7 @@ function remove_dir($dir, $content_only=false) {
 }

 function report_session_error() {
-    global $CFG, $FULLME;
+    global $CFG, $FULLME, $SESSOIN;
    if (empty($CFG->lang)) {
        $CFG->lang = "en";
    }
@@ -6307,6 +6307,7 @@ function report_session_error() {
    }
    unset($_SESSION['USER']);
    unset($GLOBALS['USER']);
+    unset($SESSION->session_test);
    redirect($FULLME, get_string('sessionerroruser', 'error'), 2);
 }