diff options
author | pixel <pixel> | 2007-12-20 17:07:11 +0000 |
---|---|---|
committer | pixel <pixel> | 2007-12-20 17:07:11 +0000 |
commit | 0dfefdd04e794daa4a163dc791f340467da80df3 (patch) | |
tree | c53d0f92068a1fbdac91d69bf592c700605acbd4 /include | |
parent | 9d308fa82533e7d9573d7a0d242a4d9dfea1ae78 (diff) |
Trying to add support for better children support - workaround for the late <defunc> bug.
Diffstat (limited to 'include')
-rw-r--r-- | include/TaskMan.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/TaskMan.h b/include/TaskMan.h index 48887c4..db9a949 100644 --- a/include/TaskMan.h +++ b/include/TaskMan.h @@ -17,7 +17,7 @@ * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ -/* $Id: TaskMan.h,v 1.25 2007-05-30 11:57:08 pixel Exp $ */ +/* $Id: TaskMan.h,v 1.26 2007-12-20 17:07:11 pixel Exp $ */ #ifndef __TASKMAN_H__ #define __TASKMAN_H__ @@ -42,6 +42,7 @@ class TaskMan : public Base { static void WaitFor(pid_t, Task *, int = 0); static void WaitFor(const timeval &, Task *, int = 0); static int GotChild(pid_t, int); + static void CleanChildren(); static void Stop(); static int Event(); static Task * Etask(); |