[Codelite-developers] IsBuildEndedSuccesfully and user interruption

[Mattia B. <ma...@de...>]

  Hi,
I noticed that IsBuildEndedSuccesfully returns true for builds that have
been interrupted by the user (checked for revision 4031, the one
packaged by Ubuntu Lucid).

  If this is not intentional, I can supply a patch to fix it; if it is
intentional, what would be a good way to detect (from a plugin) that the
build has been interrupted?

Regards,
Mattia