Comment 4 for bug 1133322

Remains the question whether such an aborted task (that is no longer on the running_tasks list) should increment finished_tasks and make the queue start the next task? I didn't realize the quoted patch has no indentation.