Fix compilation restart after it was aborted
Review Request #111484 - Created July 11, 2013 and submitted - Latest diff uploaded
There is a bug in Kile: after one cancels ongoing compilation, it is not possible to launch compilation again. I believe the problem is caused by the fact that compilation tool is only stopped, but not removed from the queue. Therefore it seats forever at the front of the queue and prevents next tools from run. This review request proposes to call Manager::done(..., KileTool::Aborted) after stopping the tool.
Manual. Start/abort/start compilation sequence works