changeset 973 | da20ea051d6b |
parent 438 | 69b79faefa94 |
child 1016 | 26387b836099 |
child 1079 | 452cb76fe07a |
--- a/server/sources/native.py Thu Feb 26 13:12:04 2009 +0100 +++ b/server/sources/native.py Thu Feb 26 13:12:21 2009 +0100 @@ -451,6 +451,7 @@ try: res = session.system_sql(sql).fetchone() except: + assert self.pool, 'session has no pool set' raise UnknownEid(eid) if res is None: raise UnknownEid(eid)