Repository navigation

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

run_shell: return when the shell exits, keep backgrounded servers running#140
ayman3000 merged 2 commits into
mainfrom
shell-returns-when-shell-exits

Commits on Oct 12, 2026
- run_shell: return when the shell exits, keep backgrounded servers running
  
  ayman3000
  and
  claude
  committed
  2df31a7
- run_shell: shorter drain after a timeout kill
  
  ayman3000
  and
  claude
  committed
  588440b