From 3b5a3eb50925e350cf5e75dbc58389c99b9afcee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Mon, 10 Apr 2017 22:58:36 +0200 Subject: [PATCH] Client: minor fix in the daemon. --- src/client/client_keys.ml | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/src/client/client_keys.ml b/src/client/client_keys.ml index 7178c76a0..6f5b7114c 100644 --- a/src/client/client_keys.ml +++ b/src/client/client_keys.ml @@ -83,16 +83,17 @@ let get_key cctxt pkh = let get_keys cctxt = Secret_key.load cctxt >>=? fun sks -> - map_filter_s + Lwt_list.filter_map_s (fun (name, sk) -> - Lwt.catch begin fun () -> + begin Public_key.find cctxt name >>=? fun pk -> Public_key_hash.find cctxt name >>=? fun pkh -> - return (Some (name, pkh, pk, sk)) - end begin fun _ -> - return None - end) - sks + return (name, pkh, pk, sk) + end >>= function + | Ok r -> Lwt.return (Some r) + | Error _ -> Lwt.return_none) + sks >>= fun keys -> + return keys let list_keys cctxt = Public_key_hash.load cctxt >>=? fun l ->