Merge pull request #15 from YosysHQ/optional_time_str

logging.py: Make time_str optional
YosysHQ · Apr 15, 2024 · 381984b · 381984b
2 parents 652975b + a4de2fa
commit 381984b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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: