Function _exit_when_stdin_closes

src/entrypoints/agent_server_cli.py:37–56

Exit the process when stdin reaches EOF (parent TUI went away). The Ink TUI spawns this server with stdin wired to a pipe it holds open. If the TUI exits — even a hard crash that skips its cleanup — the OS closes that pipe, stdin EOFs here, and we exit. Mirrors hermes's gateway, which

()

def _exit_when_stdin_closes() -> None:
    """Exit the process when stdin reaches EOF (parent TUI went away).

    The Ink TUI spawns this server with stdin wired to a pipe it holds open.
    If the TUI exits — even a hard crash that skips its cleanup — the OS closes
    that pipe, stdin EOFs here, and we exit. Mirrors hermes's gateway, which
    exits on stdin EOF when its Node parent goes away. Daemon thread so it never
    blocks normal shutdown.
    """
    import os as _os
    import threading as _threading

    def _watch() -> None:
        try:
            sys.stdin.buffer.read()  # blocks until the parent closes the pipe
        except Exception:  # noqa: BLE001
            pass
        _os._exit(0)

    _threading.Thread(target=_watch, name="agent-server-parent-watch", daemon=True).start()


def run_agent_server_subcommand(argv: list[str]) -> int: