Browse Source

Session id reset if cidreset is set see #2143

Julio Montoya 14 years ago
parent
commit
ed2bc7df6e
1 changed files with 5 additions and 0 deletions
  1. 5 0
      main/inc/local.inc.php

+ 5 - 0
main/inc/local.inc.php

@@ -777,6 +777,11 @@ if (isset($uidReset) && $uidReset) {	// session data refresh requested
 /*  COURSE INIT */
 
 if (isset($cidReset) && $cidReset) { // course session data refresh requested or empty data
+
+    if (api_get_session_id()) {
+        api_session_unregister('id_session');
+    }
+    
     if ($cidReq) {
     	$course_table = Database::get_main_table(TABLE_MAIN_COURSE);
     	$course_cat_table = Database::get_main_table(TABLE_MAIN_CATEGORY);