From 96f02a61a7a343c3b843ee66aac6a954e3cfcf31 Mon Sep 17 00:00:00 2001
From: donovan <donovan@ell-ee-dee.local>
Date: Wed, 11 Jun 2008 13:17:56 -0700
Subject: [PATCH] Use the correct waitpid

---
 eventlet/processes.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/eventlet/processes.py b/eventlet/processes.py
index f00b2ae..a439af1 100644
--- a/eventlet/processes.py
+++ b/eventlet/processes.py
@@ -30,6 +30,7 @@ import sys
 from eventlet import coros
 from eventlet import pools
 from eventlet import greenio
+from eventlet import util
 
 
 class DeadProcess(RuntimeError):
@@ -44,7 +45,7 @@ CHILD_EVENTS = {}
 def sig_child(signal, frame):
     for child_pid in CHILD_PIDS:
         try:
-            pid, code = os.waitpid(child_pid, os.WNOHANG)
+            pid, code = util.__original_waitpid__(child_pid, os.WNOHANG)
             if not pid:
                 continue ## Wasn't this one that died
             elif pid == -1: