Jesse Vincent ec99b7c4a4 Exit server when owner process dies (harness-agnostic cleanup) ...

start-server.sh passes $PPID as BRAINSTORM_OWNER_PID to the server.
The server checks every 60s if the owner process is still alive
(kill -0). If it's gone, the server shuts down immediately —
deletes .server-info, writes .server-stopped, exits cleanly.
Works across all harnesses (CC, Codex, Gemini CLI) since it
tracks the shell process that launched the script, which dies
when the harness dies.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

2026-03-11 18:39:04 -07:00

10 KiB

Raw Blame History

View Raw