diff options
author | Pixel <Pixel> | 2001-11-12 16:11:04 +0000 |
---|---|---|
committer | Pixel <Pixel> | 2001-11-12 16:11:04 +0000 |
commit | 709543dec3eaa07f7d2d7da2157d1f9159bad5d8 (patch) | |
tree | d18d30593f7b96ea3d2306bb6784d0a1a1a7a95e /lib/TaskMan.cc | |
parent | 6718e4cfec88e3046030f60775293d6de03cdc07 (diff) |
Taskman
Diffstat (limited to 'lib/TaskMan.cc')
-rw-r--r-- | lib/TaskMan.cc | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/lib/TaskMan.cc b/lib/TaskMan.cc index 9efe890..f8ba303 100644 --- a/lib/TaskMan.cc +++ b/lib/TaskMan.cc @@ -1,10 +1,16 @@ #include <TaskMan.h> -int TaskMan::Inited = 0; +bool TaskMan::Inited = false; -TaskMan::TaskMan() { } +TaskMan::TaskMan() throw (GeneralException) { + if (Inited) { + throw GeneralException("Another Task Manager is already running, aborting."); + } + + Inited = true; +} -int TaskMan::AddTask(const Task & t) { +int TaskMan::AddTask(Task * t) { } |