diff options
-rw-r--r-- | include/TaskMan.h | 4 | ||||
-rw-r--r-- | lib/TaskMan.cc | 10 |
2 files changed, 12 insertions, 2 deletions
diff --git a/include/TaskMan.h b/include/TaskMan.h index 29b6cc1..5ce0107 100644 --- a/include/TaskMan.h +++ b/include/TaskMan.h @@ -17,7 +17,7 @@ * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ -/* $Id: TaskMan.h,v 1.27 2007-12-25 12:21:19 pixel Exp $ */ +/* $Id: TaskMan.h,v 1.28 2007-12-25 13:36:05 pixel Exp $ */ #ifndef __TASKMAN_H__ #define __TASKMAN_H__ @@ -53,6 +53,8 @@ class TaskMan : public Base { static std::vector<Task *>::iterator begin(); static std::vector<Task *>::iterator end(); + static int nb_tasks(); + static int nb_zombies(); private: class w4ha_t { diff --git a/lib/TaskMan.cc b/lib/TaskMan.cc index df37a04..efd48f0 100644 --- a/lib/TaskMan.cc +++ b/lib/TaskMan.cc @@ -17,7 +17,7 @@ * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ -/* $Id: TaskMan.cc,v 1.50 2007-12-25 12:21:19 pixel Exp $ */ +/* $Id: TaskMan.cc,v 1.51 2007-12-25 13:36:06 pixel Exp $ */ #ifndef _WIN32 #include <signal.h> @@ -392,6 +392,14 @@ std::vector<Task *>::iterator TaskMan::end() { return TaskList.end(); } +int TaskMan::nb_tasks() { + return TaskList.size(); +} + +int TaskMan::nb_zombies() { + return Zombies.size(); +} + // Should only be called by the destructor of a task. void TaskMan::RemoveFromWatches(Task * t) { if (!w4ha.empty()) { |