|
a/src/utils/cancelcheck.h |
|
b/src/utils/cancelcheck.h |
|
... |
|
... |
30 |
* interaction, if the worker takes too long.
|
30 |
* interaction, if the worker takes too long.
|
31 |
* - The worker task calls checkCancel() at regular intervals, possibly as
|
31 |
* - The worker task calls checkCancel() at regular intervals, possibly as
|
32 |
* a side-effect of some other progress-reporting call. If cancellation has
|
32 |
* a side-effect of some other progress-reporting call. If cancellation has
|
33 |
* been requested, this will raise an exception, to be catched and processed
|
33 |
* been requested, this will raise an exception, to be catched and processed
|
34 |
* wherever the worker was invoked.
|
34 |
* wherever the worker was invoked.
|
35 |
* Of course, the worker side must be exception-clean, but this otherwise avoids
|
35 |
* The worker side must be exception-clean, but this otherwise avoids
|
36 |
* having to set-up code to handle a special cancellation error along
|
36 |
* having to set-up code to handle a special cancellation error along
|
37 |
* the whole worker call stack.
|
37 |
* the whole worker call stack.
|
38 |
*/
|
38 |
*/
|
39 |
class CancelExcept {};
|
39 |
class CancelExcept {};
|
40 |
|
40 |
|