server/session.py
changeset 2880 bfc8e1831290
parent 2855 1d9be3dffa94
parent 2874 acdd8d8c2cff
child 2891 60afb9705035
equal deleted inserted replaced
2869:0cb160fd3cdf 2880:bfc8e1831290
   342     @property
   342     @property
   343     def super_session(self):
   343     def super_session(self):
   344         try:
   344         try:
   345             csession = self._threaddata.childsession
   345             csession = self._threaddata.childsession
   346         except AttributeError:
   346         except AttributeError:
   347             if self.is_super_session:
   347             if isinstance(self, (ChildSession, InternalSession)):
   348                 csession = self
   348                 csession = self
   349             else:
   349             else:
   350                 csession = ChildSession(self)
   350                 csession = ChildSession(self)
   351             self._threaddata.childsession = csession
   351             self._threaddata.childsession = csession
   352         # need shared pool set
   352         # need shared pool set