diff options
author | Pixel <Pixel> | 2001-11-23 11:26:50 +0000 |
---|---|---|
committer | Pixel <Pixel> | 2001-11-23 11:26:50 +0000 |
commit | 1311938cc52369b8631c29f83a9ecdf4a5f12f19 (patch) | |
tree | 4ec27df25d3df977631e62a82c11fd387a28b8c2 /include/TaskMan.h | |
parent | 0497d21e5b7b483259642aad1f23392995863c17 (diff) |
Last modifications...
Diffstat (limited to 'include/TaskMan.h')
-rw-r--r-- | include/TaskMan.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/include/TaskMan.h b/include/TaskMan.h index 2025e5c..e1c59d0 100644 --- a/include/TaskMan.h +++ b/include/TaskMan.h @@ -8,12 +8,13 @@ class TaskMan : public Base { public: static int AddTask(Task *); - static int RemoveTask(Task *); static void Init() throw (GeneralException); static void MainLoop() throw (GeneralException); private: - static vector<Task *> TaskList; + typedef vector<Task *> TaskList_t; + static TaskList_t TaskList; + static TaskList_t Zombies; static int number; static bool inited; }; |