ridiculousfish 7b1321f9a1 Remove cancellation groups
Cancellation groups were meant to reflect the following idea: if you ran a
simple block:

    begin
        cmd1
        cmd2
    end

then under job control, cmd1 and cmd2 would get separate groups; however if
either exits due to SIGINT or SIGQUIT we also want to propagate that to the
outer block. So the outermost block and its interior jobs would share a
cancellation group. However this is more complex than necessary; it's
sufficient for the execution context to just store an int internally.

This ought not to affect anything user-visible.
2022-03-20 14:39:00 -07:00
..
2021-11-10 20:40:21 +01:00
2021-04-17 16:43:27 -07:00
2020-11-22 14:39:48 +01:00
2021-11-03 23:33:02 -07:00
2021-01-03 17:48:25 +01:00
2020-06-24 20:43:56 +02:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2022-03-20 14:39:00 -07:00
2020-11-22 14:39:48 +01:00
2021-01-07 23:53:31 +01:00
2020-11-06 17:56:38 +01:00