From 2adf58338549f28b681e9a85e1e983f4c1e41e64 Mon Sep 17 00:00:00 2001
From: jbleyel <jbleyel@gmx.net>
Date: Mon, 26 Aug 2024 22:30:45 +0200
Subject: [PATCH] [RecordTimer] * prevent write float for begin/end to xml

---
 lib/python/RecordTimer.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/python/RecordTimer.py b/lib/python/RecordTimer.py
index b9e9cfff944..cebf15bb161 100644
--- a/lib/python/RecordTimer.py
+++ b/lib/python/RecordTimer.py
@@ -134,8 +134,8 @@ def saveTimers(self):
 			if timer.dontSave:
 				continue
 			timerEntry = ["\t<timer"]
-			timerEntry.append(f"begin=\"{timer.begin}\"")
-			timerEntry.append(f"end=\"{timer.end}\"")
+			timerEntry.append(f"begin=\"{int(timer.begin)}\"")
+			timerEntry.append(f"end=\"{int(timer.end)}\"")
 			timerEntry.append(f"marginBefore=\"{timer.marginBefore}\"")
 			timerEntry.append(f"eventBegin=\"{timer.eventBegin}\"")
 			timerEntry.append(f"eventEnd=\"{timer.eventEnd}\"")