Delting session info is cidreset is added

15 years ago · 780de03602
parent 2e8c36816d
commit 780de03602
1 changed files with 2 additions and 1 deletions
--- a/main/inc/local.inc.php
+++ b/main/inc/local.inc.php
@ -855,9 +855,10 @@ if (isset($cidReset) && $cidReset) { // course session data refresh requested or
        api_session_unregister('_real_cid');
        api_session_unregister('_course');
-        //Deleting session id 
+        //Deleting session info 
        if (api_get_session_id()) {                
            api_session_unregister('id_session');
            api_session_unregister('session_name');
        }   
    }
 } else { // continue with the previous values