server/sources/native.py
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)