From c56b4f16a6426bb128804a384d16d4456e259802 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 12 Jun 2023 15:18:50 +0200
Subject: [PATCH] [log] Rework source printing: print a space only for non-app
logs.
---
src/logging.ml | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/src/logging.ml b/src/logging.ml
index 559260d..f15df62 100644
--- a/src/logging.ml
+++ b/src/logging.ml
@@ -42,13 +42,14 @@ let reporter =
in
msgf @@ fun ?header ?tags:_ fmt ->
let ppf = if level = Logs.App then Fmt.stdout else Fmt.stderr in
- let print_src fmt src =
- if not (Logs.Src.equal Logs.default src)
- then Fmt.pf fmt "@[{%s}@] " (Logs.Src.name src)
+ let pp_src fmt src =
+ if Logs.Src.equal Logs.default src
+ then (if level <> Logs.App then Fmt.pf fmt " ")
+ else Fmt.pf fmt "@[{%s}@] " (Logs.Src.name src)
in
Format.kfprintf k ppf
("%a%a@[" ^^ fmt ^^ "@]@.")
- Logs.pp_header (level, header) print_src src
+ Logs_fmt.pp_header (level, header) pp_src src
in
{ Logs.report }
--
GitLab