# HG changeset patch # User Julien Cristau # Date 1401897414 -7200 # Node ID e81facdef9b5b6452308ea7ada8e738eca9375e2 # Parent d6c0f313d4b174031b7b976bf616d1fb33633d27 [connection] set language on new Connection for the internal manager For regular users this is handled by _set_user, but for internal connections (e.g. used for notifications) we need something else. diff -r d6c0f313d4b1 -r e81facdef9b5 server/session.py --- 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)