From 4d3174c557aa821207e6c03c9887dca97174d054 Mon Sep 17 00:00:00 2001
From: Pietro Abate <pietro.abate@tezcore.com>
Date: Thu, 24 Jan 2019 13:42:42 +0100
Subject: [PATCH] Shell: Catch Lwt.Canceled during worker termination

---
 src/lib_shell/worker.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib_shell/worker.ml b/src/lib_shell/worker.ml
index b237df871..1c41211ae 100644
--- 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 () ->