diff options
author | Pixel <Pixel> | 2001-12-20 12:21:57 +0000 |
---|---|---|
committer | Pixel <Pixel> | 2001-12-20 12:21:57 +0000 |
commit | 9fbdf0250fd385b711a84a8fb3dcc2df1463436a (patch) | |
tree | 15e41965ffd1c910ef58aa91e68d286e4e52e9be /lib/TaskMan.cc | |
parent | 82be68107b19c270b0c4546cffaf97571ad231d3 (diff) |
Some changes...
Diffstat (limited to 'lib/TaskMan.cc')
-rw-r--r-- | lib/TaskMan.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/TaskMan.cc b/lib/TaskMan.cc index 89f27f8..be66df3 100644 --- a/lib/TaskMan.cc +++ b/lib/TaskMan.cc @@ -155,6 +155,8 @@ void TaskMan::MainLoop() throw (GeneralException) { /* First, we will check for any burning task and run 'em */ for (TaskList_t::iterator p = TaskList.begin(); p && (p != TaskList.end()); p++) { Task * t = *p; + +// cerr << "-=- TaskMan: task " << t->GetName() << endl; if (t->GetState() == TASK_BURST) { // cerr << "-=- TaskMan: running burning task " << t->GetName() << endl; @@ -202,6 +204,7 @@ void TaskMan::MainLoop() throw (GeneralException) { } else { p->T->SetBurst(); no_burst = 0; + p->dirthy = true; if (!(p->flags & W4_STICKY)) { w4ha.erase(p); p--; |