server/session.py
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)