Clone
Stefan Oehme
committed
on 25 Jul
Interrupt task workers when build is cancelled
This allows arbitrary tasks to respond to cancellation, the same
way that task timouts are ha… Show more
Interrupt task workers when build is cancelled

This allows arbitrary tasks to respond to cancellation, the same

way that task timouts are handled. The task only needs to respond

to interrupts in order to be cancellable. No additional public API

is required.

Show less