From a4de2fa3e2a6fb2ef1a9a450163a5ec30e9bc16d Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Mon, 15 Apr 2024 15:27:37 +1200
Subject: [PATCH] logging.py: Make time_str optional

If `time_str` is empty, it shouldn't add a space to the list of parts.
---
 src/yosys_mau/task_loop/logging.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/yosys_mau/task_loop/logging.py b/src/yosys_mau/task_loop/logging.py
index 9629d0e..fbbb6ee 100644
--- a/src/yosys_mau/task_loop/logging.py
+++ b/src/yosys_mau/task_loop/logging.py
@@ -72,7 +72,8 @@ def default_formatter(event: LogEvent):
     parts: list[str] = []
     if context.app_name:
         parts.append(f"{click.style(context.app_name, fg='blue')} ")
-    parts.append(f"{click.style(time_str, fg='green')} ")
+    if time_str:
+        parts.append(f"{click.style(time_str, fg='green')} ")
     if context.work_dir:
         parts.append(f"[{click.style(context.work_dir, fg='blue')}] ")
     if context.scope: