Skip to content

Improve Ctrl+C handling - #2

Open
rhinoshorn wants to merge 1 commit into
x-heep:otfrom
rhinoshorn:ot
Open

Improve Ctrl+C handling#2
rhinoshorn wants to merge 1 commit into
x-heep:otfrom
rhinoshorn:ot

SIGINT raises KeyboardInterrupt so that sub-processes can go down gra…

1653a92
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs