Skip to content

Commit

Permalink
[RecordTimer]
Browse files Browse the repository at this point in the history
* prevent write float for begin/end to xml
  • Loading branch information
jbleyel committed Aug 26, 2024
1 parent 89f8b5a commit 2adf583
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions lib/python/RecordTimer.py
Original file line number Diff line number Diff line change
Expand Up @@ -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}\"")
Expand Down

0 comments on commit 2adf583

Please sign in to comment.