# HG changeset patch
# User Marcus Granado <marcus.granado@xxxxxxxxxx>
# Date 1285333385 -3600
# Node ID 8021b8574c66bd2196b9eb7eda5b5ca8528d5773
# Parent  a3031ffad9190a8f0f4a689d47c1cf95c578f56b
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 <marcus.granado@xxxxxxxxxxxxx>

diff -r a3031ffad919 -r 8021b8574c66 stdext/gzip.ml
--- a/stdext/gzip.ml
+++ b/stdext/gzip.ml
@@ -73,7 +73,7 @@
 	 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 () ->