server/session.py
changeset 9074 0616f7a713c6
parent 9073 9574df1cd054
child 9075 8d36838ccb3e
equal deleted inserted replaced
9073:9574df1cd054 9074:0616f7a713c6
   425         self.ctx_count = 0
   425         self.ctx_count = 0
   426 
   426 
   427         #: server.Repository object
   427         #: server.Repository object
   428         self.repo = session.repo
   428         self.repo = session.repo
   429         self.vreg = self.repo.vreg
   429         self.vreg = self.repo.vreg
       
   430 
       
   431         # other session utility
       
   432         self.user = session.user # XXX migrate to self._set_user when
       
   433         self.lang = session.lang # Connection gain execute
   430 
   434 
   431         #: connection handling mode
   435         #: connection handling mode
   432         self.mode = session.default_mode
   436         self.mode = session.default_mode
   433         #: connection set used to execute queries on sources
   437         #: connection set used to execute queries on sources
   434         self._cnxset = None
   438         self._cnxset = None