Keep 'token' in the session since there are hardcoded references to this

variable in the core.

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>

diff --git a/classes/xorgsession.php b/classes/xorgsession.php
index 4df4a40..c7a5afd 100644 (file)
--- a/classes/xorgsession.php
+++ b/classes/xorgsession.php
@@ -208,7 +208,7 @@ class XorgSession extends PlSession
         }
 
         // Loads uid and hruid into the session for developement conveniance.
-        $_SESSION = array_merge($_SESSION, array('uid' => $user->id(), 'hruid' => $user->hruid));
+        $_SESSION = array_merge($_SESSION, array('uid' => $user->id(), 'hruid' => $user->hruid, 'token' => $user->token));
 
         // Starts the session's logger, and sets up the permanent cookie.
         if (S::suid()) {