server/sources/datafeed.py
changeset 7461 cb25b62074cc
parent 7456 c54038622fc9
child 7527 ef1e9bc38137
--- a/server/sources/datafeed.py	Mon Jun 06 16:13:09 2011 +0200
+++ b/server/sources/datafeed.py	Mon Jun 06 16:19:19 2011 +0200
@@ -137,7 +137,7 @@
         # XXX race condition until WHERE of SET queries is executed using
         # 'SELECT FOR UPDATE'
         if not session.execute('SET X synchronizing TRUE WHERE X eid %(x)s, X synchronizing FALSE',
-                               {'x': self.eid})[0][0]:
+                               {'x': self.eid}):
             self.error('concurrent synchronization detected, skip pull')
             session.commit(free_cnxset=False)
             return False