server/session.py
changeset 9087 dd26b4f95f90
parent 9086 1084843ab2cb
child 9088 04ceb4268b3b
equal deleted inserted replaced
9086:1084843ab2cb 9087:dd26b4f95f90
  1589     """
  1589     """
  1590     def __init__(self):
  1590     def __init__(self):
  1591         self.eid = -1
  1591         self.eid = -1
  1592         self.login = u'__internal_manager__'
  1592         self.login = u'__internal_manager__'
  1593         self.properties = {}
  1593         self.properties = {}
       
  1594         self.groups = set(['managers'])
  1594 
  1595 
  1595     def matching_groups(self, groups):
  1596     def matching_groups(self, groups):
  1596         return 1
  1597         return 1
  1597 
  1598 
  1598     def is_in_group(self, group):
  1599     def is_in_group(self, group):