From 2d2337b980c3de7a91e20f7fe0694655599c8fc1 Mon Sep 17 00:00:00 2001 From: jbleyel Date: Tue, 27 Aug 2024 11:12:48 +0200 Subject: [PATCH] [timer] * fix float/int issue --- lib/python/timer.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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