diff options
| author | Pixel <Pixel> | 2001-11-29 01:45:53 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-11-29 01:45:53 +0000 |
| commit | a6f79293000e96e07ab2688541fcb38225d4094f (patch) | |
| tree | 1074c6dacba04ee19440744d1b06b7da108ece00 /include/TaskMan.h | |
| parent | 9788056af63e073607897559997a44272b9a5cef (diff) | |
Night...
Diffstat (limited to 'include/TaskMan.h')
| -rw-r--r-- | include/TaskMan.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/TaskMan.h b/include/TaskMan.h index fd031ee..8cd8e66 100644 --- a/include/TaskMan.h +++ b/include/TaskMan.h @@ -16,6 +16,7 @@ class TaskMan : public Base { static void WaitFor(pid_t, Task *); static void WaitFor(timeval, Task *, int = 0); static int GotChild(pid_t, int); + static void Stop(); class w4ha_t { public: @@ -51,6 +52,7 @@ class TaskMan : public Base { static vector<w4ha_t> w4ha; static vector<w4pr_t> w4pr; static vector<w4to_t> w4to; + static bool stopped; }; #else |