Switch to unified view

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