server/session.py
changeset 9076 7743e7b29635
parent 9075 8d36838ccb3e
child 9077 55a88fbfd39c
equal deleted inserted replaced
9075:8d36838ccb3e 9076:7743e7b29635
   429         self.vreg = self.repo.vreg
   429         self.vreg = self.repo.vreg
   430 
   430 
   431         # other session utility
   431         # other session utility
   432         self.user = session.user # XXX migrate to self._set_user when
   432         self.user = session.user # XXX migrate to self._set_user when
   433         self.lang = session.lang # Connection gain execute
   433         self.lang = session.lang # Connection gain execute
       
   434         self.execute = session.execute # temporary hack until all necessary
       
   435                                        # function have been migrated. Most of
       
   436                                        # those function requires an execute
       
   437                                        # method and execute requires them too.
   434 
   438 
   435         #: connection handling mode
   439         #: connection handling mode
   436         self.mode = session.default_mode
   440         self.mode = session.default_mode
   437         #: connection set used to execute queries on sources
   441         #: connection set used to execute queries on sources
   438         self._cnxset = None
   442         self._cnxset = None