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