Here's a patch to fix this issue.
--- debpool_released/share/DebPool/Gzip.pm	2007-12-03 14:10:49.000000000 -0500
+++ debpool/share/DebPool/Gzip.pm	2007-12-09 01:53:40.000000000 -0500
@@ -133,6 +133,7 @@
         close(SOURCE);
 
         waitpid($child_pid, 0);
+        waitpid($gzip_pid, 0);
     } else { # In the child - we hope
         if (!defined($child_pid)) {
             die "Couldn't fork: $!\n";

Reply via email to