Skip to content

$signal() and $interrupt() now use the process group - #420

Merged
gaborcsardi merged 2 commits into
mainfrom
fix/signal-pgroup
May 17, 2026
Merged

$signal() and $interrupt() now use the process group#420
gaborcsardi merged 2 commits into
mainfrom
fix/signal-pgroup

Commits

Commits on May 17, 2026