diff options
| author | Pixel <Pixel> | 2001-11-15 14:52:43 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-11-15 14:52:43 +0000 |
| commit | 3f720784d55707024fff675a5238fde0168d1a40 (patch) | |
| tree | 84a5b9843ede69aaf76cd9b791686b2a3ea7c3d7 /lib/TaskMan.cc | |
| parent | 8694409f2a5531e9f3263e8a42248a3ca91ac14f (diff) | |
More work into TaskMan...
Diffstat (limited to 'lib/TaskMan.cc')
| -rw-r--r-- | lib/TaskMan.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/TaskMan.cc b/lib/TaskMan.cc index 479e25e..ded359a 100644 --- a/lib/TaskMan.cc +++ b/lib/TaskMan.cc @@ -13,7 +13,7 @@ static int nbprocess = 0; void taskman_sigchild(int sig) { got_sigchild = 1; - process.push_back(wait(NULL)); + process.push_back(wait(0)); signal(SIGCHLD, taskman_sigchild); nbprocess++; } |