From 5f0fc14222867842c573d05b6c955edb6e25b81d Mon Sep 17 00:00:00 2001 From: Dimitrij Date: Fri, 30 Aug 2024 09:05:20 +0300 Subject: [PATCH] [timer] fix float/int issue (#4058) --- 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 0942530ab39..1bc4d19c102 100644 --- a/lib/python/timer.py +++ b/lib/python/timer.py @@ -113,7 +113,7 @@ def shouldSkip(self): return self.end <= time() and self.state == TimerEntry.StateWaiting def abort(self): - self.end = time() + self.end = int(time()) # in case timer has not yet started, but gets aborted (so it's preparing), # set begin to now.