changeset 9764 | e81facdef9b5 |
parent 9721 | 2f08bd4c813b |
child 9774 | b7b71be569cf |
--- a/server/session.py Tue Jun 03 15:07:41 2014 +0200 +++ b/server/session.py Wed Jun 04 17:56:54 2014 +0200 @@ -517,6 +517,7 @@ # other session utility if session.user.login == '__internal_manager__': self.user = session.user + self.set_language(self.user.prefered_language()) else: self._set_user(session.user)