Skip to content

Commit

Permalink
Use a single output target for main-domain logging
Browse files Browse the repository at this point in the history
  • Loading branch information
lukstafi committed Aug 9, 2024
1 parent d419c1d commit 26cd73d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions arrayjit/lib/utils.ml
Original file line number Diff line number Diff line change
Expand Up @@ -288,14 +288,14 @@ let get_debug name =
~exclude_on_path:Re.(str "env")
~values_first_mode:true ~backend ~log_level ?snapshot_every_sec filename

module Debug_runtime = (val get_debug "")

let _get_local_debug_runtime =
let open Stdlib.Domain in
let get_runtime () = get_debug @@ "Domain-" ^ Int.to_string (self () :> int) in
let debug_runtime_key = DLS.new_key get_runtime in
fun () -> DLS.get debug_runtime_key

module Debug_runtime = (val _get_local_debug_runtime ())

[%%global_debug_log_level Nothing]
[%%global_debug_log_level_from_env_var "OCANNL_LOG_LEVEL"]

Expand Down

0 comments on commit 26cd73d

Please sign in to comment.