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 | |
parent | 4355c6e9835e08e42d8d082ada4470293faef2ca (diff) |
TaskMan & Task bugfix..
-rw-r--r-- | lib/Task.cc | 1 | ||||
-rw-r--r-- | lib/TaskMan.cc | 4 |
2 files changed, 2 insertions, 3 deletions
diff --git a/lib/Task.cc b/lib/Task.cc index c50a6e7..839c003 100644 --- a/lib/Task.cc +++ b/lib/Task.cc @@ -26,6 +26,7 @@ int Task::Run() { } catch (GeneralException e) { cerr << _("Task ") << GetName() << _(" caused an unexpected exception: \"") << e.GetMsg() << _("\". Terminating.\n"); + state = TASK_DONE; return TASK_DONE; } 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--; |