server/session.py
changeset 2630 b3f997bc8c26
parent 2623 e1f34b77290b
child 2647 b0a2e779845c
equal deleted inserted replaced
2629:0d445c2171e4 2630:b3f997bc8c26
    71         self._closed = False
    71         self._closed = False
    72 
    72 
    73     def __str__(self):
    73     def __str__(self):
    74         return '<%ssession %s (%s 0x%x)>' % (self.cnxtype, self.user.login,
    74         return '<%ssession %s (%s 0x%x)>' % (self.cnxtype, self.user.login,
    75                                              self.id, id(self))
    75                                              self.id, id(self))
       
    76 
       
    77     @property
       
    78     def schema(self):
       
    79         return self.repo.schema
    76 
    80 
    77     def add_relation(self, fromeid, rtype, toeid):
    81     def add_relation(self, fromeid, rtype, toeid):
    78         if self.is_super_session:
    82         if self.is_super_session:
    79             self.repo.glob_add_relation(self, fromeid, rtype, toeid)
    83             self.repo.glob_add_relation(self, fromeid, rtype, toeid)
    80             return
    84             return