diff options
| author | Pixel <Pixel> | 2001-12-23 16:42:40 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-12-23 16:42:40 +0000 |
| commit | 161823df9ef25327e4bbe2ecf3c6189ce93fd10d (patch) | |
| tree | 06a0fbae697764d4cfb1c27da05e4912553c3aeb | |
| parent | dfe90806bfc72b2bf56d7a589ccb82d5ef9738da (diff) | |
TaskMan debug change
| -rw-r--r-- | lib/TaskMan.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/TaskMan.cc b/lib/TaskMan.cc index 4d58be9..1e1fba6 100644 --- a/lib/TaskMan.cc +++ b/lib/TaskMan.cc @@ -220,7 +220,7 @@ void TaskMan::MainLoop() throw (GeneralException) { } if (t->GetState() == TASK_BURST) { -// cerr << "-=- TaskMan: running burning task " << t->GetName() << endl; + cerr << "-=- TaskMan: running burning task " << t->GetName() << endl; t->Run(); /* if the task added some new tasks, we have to rerun the loop */ no_burst = 0; |