# HG changeset patch # User Julien Cristau # Date 1386180664 -3600 # Node ID 523273da673814299e2c1d46002653011d86fee6 # Parent aa8be290374eda499f8bdd41844e039689269012 [server] avoid race-condition in timer events With a granularity of one second, there's a good chance calling localtime twice will return the same value. We should consider the event ready immediately if that happens, not wait one second. diff -r aa8be290374e -r 523273da6738 server/server.py --- a/server/server.py Wed Dec 04 19:14:43 2013 +0100 +++ b/server/server.py Wed Dec 04 19:11:04 2013 +0100 @@ -48,7 +48,7 @@ def is_ready(self): """return true if the event is ready to be fired""" now = self.timefunc() - if self.absolute < now: + if self.absolute <= now: return True return False