Skip to content

run_shell: return when the shell exits, keep backgrounded servers running - #140

Merged
ayman3000 merged 2 commits into
mainfrom
shell-returns-when-shell-exits
Oct 12, 2026
Merged

ayman3000 merged 2 commits into
mainfrom
shell-returns-when-shell-exits

run_shell: shorter drain after a timeout kill

588440b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Build & Test (macOS)
succeeded Oct 12, 2026 in 3m 13s