Log initialization: respect custom log levels

Fixes #299.
aantron · Nov 6, 2023 · 9c72a39 · 9c72a39
1 parent 1c60e60
commit 9c72a39
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/server/log.ml b/src/server/log.ml
@@ -435,6 +435,9 @@ struct
     if !enable then begin
       setup_outputs () ;
       Logs.set_level ~all:true (Some !level);
+      !custom_log_levels |> List.iter (fun (name, level) ->
+        List.assoc_opt name !sources
+        |> Option.iter (fun source -> Logs.Src.set_level source (Some level)));
       Logs.set_reporter (reporter ~now ())
     end ;
     `Initialized