diff options
| author | Pixel <Pixel> | 2002-06-04 13:42:36 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2002-06-04 13:42:36 +0000 |
| commit | 6cc9c2c329b00c51f399e5b040a4d4a1d1213ecd (patch) | |
| tree | 43cdef5700f65c9f90165590ef582988bb02ed98 /include/TaskMan.h | |
| parent | 6be21a3b278d3bb3f8ac4176f923d42dfb9b1e12 (diff) | |
gcc-3.1
Diffstat (limited to 'include/TaskMan.h')
| -rw-r--r-- | include/TaskMan.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/include/TaskMan.h b/include/TaskMan.h index 2cab500..a3b03ab 100644 --- a/include/TaskMan.h +++ b/include/TaskMan.h @@ -4,7 +4,7 @@ #include <signal.h> #include <Task.h> -#include <vector.h> +#include <vector> #define E_BURST 0 #define E_HANDLE 1 @@ -15,7 +15,7 @@ class TaskMan : public Base { public: static void AddTask(Task *); - static vector<Task *>::iterator FindTask(Task *) throw (GeneralException); + static std::vector<Task *>::iterator FindTask(Task *) throw (GeneralException); static void RemoveFromWatches(Task *); static void Init() throw (GeneralException); static void MainLoop() throw (GeneralException); @@ -54,16 +54,16 @@ class TaskMan : public Base { int flags; Task * T; }; - typedef vector<Task *> TaskList_t; + typedef std::vector<Task *> TaskList_t; private: static TaskList_t TaskList; static TaskList_t Zombies; static int number; static bool inited; - static vector<w4ha_t> w4ha; - static vector<w4pr_t> w4pr; - static vector<w4to_t> w4to; + static std::vector<w4ha_t> w4ha; + static std::vector<w4pr_t> w4pr; + static std::vector<w4to_t> w4to; static bool stopped; static int event; static Task * etask; |