server/session.py
changeset 9074 0616f7a713c6
parent 9073 9574df1cd054
child 9075 8d36838ccb3e
--- a/server/session.py	Fri Mar 29 17:43:18 2013 +0100
+++ b/server/session.py	Tue Jun 25 17:28:41 2013 +0200
@@ -428,6 +428,10 @@
         self.repo = session.repo
         self.vreg = self.repo.vreg
 
+        # other session utility
+        self.user = session.user # XXX migrate to self._set_user when
+        self.lang = session.lang # Connection gain execute
+
         #: connection handling mode
         self.mode = session.default_mode
         #: connection set used to execute queries on sources