diff options
author | Pixel <Pixel> | 2001-11-14 16:59:02 +0000 |
---|---|---|
committer | Pixel <Pixel> | 2001-11-14 16:59:02 +0000 |
commit | aa92df3c58daefb994da555fb45f2e3ee55f38d5 (patch) | |
tree | 6105f0ced059af0fceb10a29f318d0c13c83d051 /lib/TaskMan.cc | |
parent | 9235fbc2a736da2c68eb2dc0a3c1007b4a202d5e (diff) |
Latest and various changes
Diffstat (limited to 'lib/TaskMan.cc')
-rw-r--r-- | lib/TaskMan.cc | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/lib/TaskMan.cc b/lib/TaskMan.cc index 6a38491..479e25e 100644 --- a/lib/TaskMan.cc +++ b/lib/TaskMan.cc @@ -3,6 +3,8 @@ #include <vector.h> #include "TaskMan.h" +vector<Task *> TaskMan::TaskList; +int TaskMan::number = 0; bool TaskMan::inited = false; static int got_sigchild = 0; @@ -16,10 +18,6 @@ void taskman_sigchild(int sig) { nbprocess++; } -TaskMan::TaskMan() throw (GeneralException) { - throw GeneralException("You can't instanciate a Task Manager."); -} - void TaskMan::Init() throw (GeneralException) { if (inited) { throw GeneralException("Task Manager already initialised."); @@ -69,7 +67,7 @@ void TaskMan::MainLoop() throw (GeneralException) { #endif try { - t->Do(); + t->Run(); } catch (TaskSwitch) { continue; |