session::refresh()

classes/session.php

@@ -31,7 +31,7 @@ class mod_labnbook_session
     /**
      * @var array
      */
-    private $missions = [];
+    private $missions;
 
     private $identifyByCasAuth = true;
 
@@ -53,6 +53,14 @@ class mod_labnbook_session
         $this->userId = $this->fetchUserId($USER->id);
     }
 
+    public function refresh() {
+        global $SESSION;
+        unset($this->userId);
+        unset($SESSION->labnbook_userid);
+        unset($this->missions);
+        unset($SESSION->labnbook_missions);
+    }
+
     /**
      * Search the LabNbook user ID in the cache (object attribute),
      *  then in the user session,