server/session.py
changeset 9479 f13fbab0c718
parent 9478 2d7521881d3d
child 9482 5b97e69f9c29
--- a/server/session.py	Mon Jan 27 16:19:49 2014 +0100
+++ b/server/session.py	Tue Dec 17 11:50:12 2013 +0100
@@ -1770,11 +1770,12 @@
     bootstrapping the repository or creating regular users according to
     repository content
     """
-    def __init__(self):
+    def __init__(self, lang='en'):
         self.eid = -1
         self.login = u'__internal_manager__'
         self.properties = {}
         self.groups = set(['managers'])
+        self.lang = lang
 
     def matching_groups(self, groups):
         return 1
@@ -1787,7 +1788,7 @@
 
     def property_value(self, key):
         if key == 'ui.language':
-            return 'en'
+            return self.lang
         return None
 
     def prefered_language(self, language=None):