server/repository.py
changeset 8277 8b173e0a617f
parent 8275 49e105e000ab
child 8280 17c588eca3c2
equal deleted inserted replaced
8276:57d8f3b3e165 8277:8b173e0a617f
   175         # open some connections set
   175         # open some connections set
   176         if config.init_cnxset_pool:
   176         if config.init_cnxset_pool:
   177             self.init_cnxset_pool()
   177             self.init_cnxset_pool()
   178         @onevent('after-registry-reload', self)
   178         @onevent('after-registry-reload', self)
   179         def fix_user_classes(self):
   179         def fix_user_classes(self):
       
   180             # After registery reload the 'CWUser' class used for CWEtype
       
   181             # changed.  To any existing user object have a different class than
       
   182             # the new loaded one. We are hot fixing this.
   180             usercls = self.vreg['etypes'].etype_class('CWUser')
   183             usercls = self.vreg['etypes'].etype_class('CWUser')
   181             for session in self._sessions.values():
   184             for session in self._sessions.values():
   182                 if not isinstance(session.user, InternalManager):
   185                 if not isinstance(session.user, InternalManager):
   183                     session.user.__class__ = usercls
   186                     session.user.__class__ = usercls
   184 
   187