[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.
--- 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