Added proper SIGTERM/SIGKILL handling for sub-processes#286

Merged

lihaoyi merged 10 commits intocom-lihaoyi:mainfrom j-mie6:main

Aug 5, 2024

+172-69

Commits on Jul 29, 2024

Commits on Jul 30, 2024

adjusted default timeout to 100ms and factored common code
j-mie6
committed

Commits on Aug 5, 2024