changeset 1079 | 452cb76fe07a |
parent 973 | da20ea051d6b |
child 1251 | af40e615dc89 |
--- a/server/sources/native.py Wed Mar 11 14:36:26 2009 +0100 +++ b/server/sources/native.py Wed Mar 11 16:28:49 2009 +0100 @@ -451,7 +451,7 @@ try: res = session.system_sql(sql).fetchone() except: - assert self.pool, 'session has no pool set' + assert session.pool, 'session has no pool set' raise UnknownEid(eid) if res is None: raise UnknownEid(eid)