# HG changeset patch # User Sylvain Thénault # Date 1310384704 -7200 # Node ID 91a984ba420f0b225ef15a998b09950d53ccbed0 # Parent cb2459aaa7d78dbbadaa59b841ce29a3a2c85055 [native source] fix bug introduced in 7645:cb2459aaa7d7: fetchone() may return None diff -r cb2459aaa7d7 -r 91a984ba420f server/sources/native.py --- a/server/sources/native.py Mon Jul 11 13:23:37 2011 +0200 +++ b/server/sources/native.py Mon Jul 11 13:45:04 2011 +0200 @@ -850,7 +850,9 @@ def _eid_type_source(self, session, eid, sql, _retry=True): try: - return self.doexec(session, sql).fetchone() + res = self.doexec(session, sql).fetchone() + if res is not None: + return res except (self.OperationalError, self.InterfaceError): if session.mode == 'read' and _retry: self.warning("trying to reconnect (eid_type_source())")