From dd88008a0abc0c3e86be8425de347cf54a558e76 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 13 Mar 2025 10:45:21 -0400 Subject: [PATCH] fix: do not die if we fail to block a signal --- src/core/worker_loop_.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/worker_loop_.ml b/src/core/worker_loop_.ml index 1378e1bc..6658ceec 100644 --- a/src/core/worker_loop_.ml +++ b/src/core/worker_loop_.ml @@ -105,7 +105,7 @@ let with_handler ~ops:_ self f = f () let worker_loop (type st) ~block_signals ~(ops : st ops) (self : st) : unit = if block_signals then List.iter - (fun signal -> Sys.set_signal signal Sys.Signal_ignore) + (fun signal -> try Sys.set_signal signal Sys.Signal_ignore with _ -> ()) [ Sys.sigterm; Sys.sigpipe;