diff --git a/lib/python/timer.py b/lib/python/timer.py index 63cf3791c0a..c21a5eb9337 100644 --- a/lib/python/timer.py +++ b/lib/python/timer.py @@ -294,7 +294,7 @@ def shouldSkip(self): # Check if a timer entry must be skipped. return self.end <= time() and (self.state == TimerEntry.StateWaiting or self.state == TimerEntry.StateFailed) def abort(self): - self.end = time() + self.end = int(time()) if self.begin > self.end: # In case timer has not yet started, but gets aborted (so it's preparing), set begin to now. self.begin = self.end self.cancelled = True