Fix compilation restart after it was aborted

Review Request #111484 - Created July 11, 2013 and submitted

Information
Eugene Shalygin
kile
master
Reviewers
kile
mludwig
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
Eugene Shalygin
Michel Ludwig
Eugene Shalygin
Review request changed

Status: Closed (submitted)

Loading...