Files
odysseus/routes
Alexandre Teixeira b4b5412cda fix(runtime): bind PTY teardown to spawn identity
Capture the PTY leader's ProcessIdentity and its own session group
immediately after spawn, while the child is held unreaped, and drive
teardown from that frozen record instead of re-deriving the group from
proc.pid. Every signal re-verifies the leader: OWNED and still leading
the group signals the group; GONE signals only the recorded group, never
the pid; FOREIGN proves the group's lifetime ended and nothing is
signalled; UNVERIFIABLE or a missing spawn identity signals nothing.
The server's own process group is never recorded or signalled.
2026-10-02 01:33:46 +01:00
..
2026-09-11 06:04:19 +00:00
2026-05-31 23:58:26 +09:00
2026-05-31 23:58:26 +09:00