server/session.py
changeset 9764 e81facdef9b5
parent 9721 2f08bd4c813b
child 9774 b7b71be569cf
equal deleted inserted replaced
9763:d6c0f313d4b1 9764:e81facdef9b5
   515         self._rewriter = RQLRewriter(self)
   515         self._rewriter = RQLRewriter(self)
   516 
   516 
   517         # other session utility
   517         # other session utility
   518         if session.user.login == '__internal_manager__':
   518         if session.user.login == '__internal_manager__':
   519             self.user = session.user
   519             self.user = session.user
       
   520             self.set_language(self.user.prefered_language())
   520         else:
   521         else:
   521             self._set_user(session.user)
   522             self._set_user(session.user)
   522 
   523 
   523 
   524 
   524     # live cycle handling ####################################################
   525     # live cycle handling ####################################################