# HG changeset patch # User Pierre-Yves David # Date 1372162430 -7200 # Node ID dd26b4f95f90c223e5ad7e08c5dd82dcfbe679ea # Parent 1084843ab2cbbb7ad8562616ea44e29013468e4e [server/session] better faking of user for InternalManager diff -r 1084843ab2cb -r dd26b4f95f90 server/session.py --- a/server/session.py Thu Jun 27 11:19:58 2013 +0200 +++ b/server/session.py Tue Jun 25 14:13:50 2013 +0200 @@ -1591,6 +1591,7 @@ self.eid = -1 self.login = u'__internal_manager__' self.properties = {} + self.groups = set(['managers']) def matching_groups(self, groups): return 1