server/sources/native.py
changeset 973 da20ea051d6b
parent 438 69b79faefa94
child 1016 26387b836099
child 1079 452cb76fe07a
equal deleted inserted replaced
972:1efba3fd1364 973:da20ea051d6b
   449         """return a tuple (type, source, extid) for the entity with id <eid>"""
   449         """return a tuple (type, source, extid) for the entity with id <eid>"""
   450         sql = 'SELECT type, source, extid FROM entities WHERE eid=%s' % eid
   450         sql = 'SELECT type, source, extid FROM entities WHERE eid=%s' % eid
   451         try:
   451         try:
   452             res = session.system_sql(sql).fetchone()
   452             res = session.system_sql(sql).fetchone()
   453         except:
   453         except:
       
   454             assert self.pool, 'session has no pool set'
   454             raise UnknownEid(eid)
   455             raise UnknownEid(eid)
   455         if res is None:
   456         if res is None:
   456             raise UnknownEid(eid)
   457             raise UnknownEid(eid)
   457         return res
   458         return res
   458 
   459