From 709543dec3eaa07f7d2d7da2157d1f9159bad5d8 Mon Sep 17 00:00:00 2001
From: Pixel <Pixel>
Date: Mon, 12 Nov 2001 16:11:04 +0000
Subject: Taskman

---
 lib/TaskMan.cc | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'lib/TaskMan.cc')

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) {
     
 }
 
-- 
cgit v1.2.3