From 157a25e58a7e6c0ed0a7de1cd86a611a1af81464 Mon Sep 17 00:00:00 2001
From: ATATC <futerry@outlook.com>
Date: Sat, 2 Mar 2024 13:17:06 -0500
Subject: [PATCH] Bug fixed: wrong lap time formatting.

---
 leads_vec/cli.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/leads_vec/cli.py b/leads_vec/cli.py
index 26bce07e..36890945 100644
--- a/leads_vec/cli.py
+++ b/leads_vec/cli.py
@@ -94,7 +94,7 @@ def on_receive(self, service: Service, msg: bytes) -> None:
     uim.rd().comm = start_server(create_server(cfg.comm_port, CommCallback()), True)
 
     def format_lap_time(t: int) -> str:
-        return f"{int((t := t * .001) / 60)} MIN {t % 60} SEC"
+        return f"{int(t := t * .001) // 60} MIN {t % 60} SEC"
 
     class CustomListener(EventListener):
         def on_push(self, e: DataPushedEvent) -> None: