From dcc0f7011ded5dadc6048a203555795f9107bf66 Mon Sep 17 00:00:00 2001 From: Pierre Chambart Date: Wed, 27 Jun 2018 01:35:55 +0200 Subject: [PATCH] Shell: Fix Logging names leak --- src/lib_shell/distributed_db.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/lib_shell/distributed_db.ml b/src/lib_shell/distributed_db.ml index eff7551ec..43c2f8fff 100644 --- a/src/lib_shell/distributed_db.ml +++ b/src/lib_shell/distributed_db.ml @@ -457,12 +457,13 @@ module P2p_reader = struct | chain_db -> f chain_db + module Handle_msg_Logging = + Logging.Make(struct let name = "node.distributed_db.p2p_reader" end) + let handle_msg global_db state msg = let open Message in - let module Logging = - Logging.Make(struct let name = "node.distributed_db.p2p_reader" end) in - let open Logging in + let open Handle_msg_Logging in lwt_debug "Read message from %a: %a" P2p_peer.Id.pp_short state.gid Message.pp_json msg >>= fun () ->