diff options
| author | Pixel <Pixel> | 2001-12-22 10:45:12 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-12-22 10:45:12 +0000 |
| commit | 477886b341edc16634b39f4a839e595add883f17 (patch) | |
| tree | bdfe046ef4b9cc084562020bf30210ff1da34965 /lib/TaskMan.cc | |
| parent | 4355c6e9835e08e42d8d082ada4470293faef2ca (diff) | |
TaskMan & Task bugfix..
Diffstat (limited to 'lib/TaskMan.cc')
| -rw-r--r-- | lib/TaskMan.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/TaskMan.cc b/lib/TaskMan.cc index c688f8a..3169f88 100644 --- a/lib/TaskMan.cc +++ b/lib/TaskMan.cc @@ -176,9 +176,7 @@ void TaskMan::MainLoop() throw (GeneralException) { break; } - if (t->GetState() == TASK_BURST) { - no_burst = 0; - } else if (t->GetState() == TASK_DONE) { + if (t->GetState() == TASK_DONE) { TaskList.erase(p); number--; p--; |