Shell: Catch Lwt.Canceled during worker termination

2019-01-24 13:42:42 +01:00 · 2019-01-24 13:42:42 +01:00 · 4d3174c557
commit 4d3174c557
parent b5515ea99e
1 changed files with 1 additions and 1 deletions
--- a/src/lib_shell/worker.ml
+++ b/src/lib_shell/worker.ml
@ -490,7 +490,7 @@ module Make
      end >>= function
      | Ok () ->
          loop ()
-      | Error [Canceled | Exn Lwt_pipe.Closed | Exn Lwt_dropbox.Closed ] ->
+      | Error [Canceled | Exn Lwt.Canceled | Exn Lwt_pipe.Closed | Exn Lwt_dropbox.Closed ] ->
          Logger.lwt_log_notice
            "@[Worker terminated [%a] @]"
            Name.pp w.name  >>= fun () ->