changeset 9049 | 9d62d53b49df |
parent 9048 | 8481fc6aa6dd |
child 9050 | 635862b48485 |
--- a/server/session.py Mon Jun 17 17:27:08 2013 +0200 +++ b/server/session.py Fri Jun 21 15:47:01 2013 +0200 @@ -894,6 +894,10 @@ return '<session %s (%s 0x%x)>' % ( unicode(self.user.login), self.id, id(self)) + @property + def sessionid(self): + return self.id + def get_cnx(self, cnxid): """return the <cnxid> connection attached to this session