Trying to add support for better children support - workaround for the late <defunc> bug.

1 files changed, 18 insertions, 1 deletions

diff --git a/lib/TaskMan.cc b/lib/TaskMan.cc
index 5064048..24bbf77 100644
--- a/lib/TaskMan.cc
+++ b/lib/TaskMan.cc
@@ -17,7 +17,7 @@
  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  */
 
-/* $Id: TaskMan.cc,v 1.47 2007-06-25 10:11:28 pixel Exp $ */
+/* $Id: TaskMan.cc,v 1.48 2007-12-20 17:07:11 pixel Exp $ */
 
 #ifndef _WIN32
 #include <signal.h>
@@ -67,6 +67,22 @@ void taskman_sighup(int sig) {
 }
 #endif
 
+void TaskMan::CleanChildren() {
+#ifndef _WIN32
+    int status;
+    pid_t pid;
+    
+    while (1) {
+        pid = waitpid(-1, &status, WNOHANG);
+        if (GotChild(pid, status)) {
+            got_sigchild++;
+        } else {
+            WaitFor(pid, 0, status);
+        }
+    }
+#endif
+}
+
 void TaskMan::SigChild() {
     int status;
     pid_t pid;
@@ -624,6 +640,7 @@ void TaskMan::MainLoop() throw (GeneralException) {
 #ifndef _WIN32
             sigprocmask(SIG_BLOCK, &sigchildset, 0);
 #endif
+            CleanChildren();
 	    if (r < 0) {
 		if (errno != EINTR) {
 		    throw GeneralException(String(_("Error during poll: ")) + strerror(errno));