From 0d3f4b4226fb467c21142c15c2ccecf5f6cf9708 Mon Sep 17 00:00:00 2001 From: Marcus Granado Date: Tue, 12 Oct 2010 12:13:54 +0100 Subject: [PATCH] CA-45104: ignore renice errors This patch works around a race-condition bug in forkhelpers where the pid might not be valid anymore before forkhelpers.waitpid is called, in case the related process is very short-lived. Signed-off-by: Marcus Granado --- stdext/gzip.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stdext/gzip.ml b/stdext/gzip.ml index 625d367..1c01731 100644 --- a/stdext/gzip.ml +++ b/stdext/gzip.ml @@ -73,7 +73,7 @@ let go (mode: zcat_mode) (input: input_type) fd f = close close_now; finally (fun () -> - lower_priority pid; (* lowest priority to gzip *) + (try lower_priority pid with _->()); (* lowest priority to gzip *) f close_later ) (fun () -> -- 2.39.5