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-07-21 12:39:27 +02:00
2026-07-21 12:38:32 +02:00
2026-07-21 12:40:09 +02:00
2026-09-11 06:04:19 +00:00
2026-10-01 19:45:59 +02:00
2026-10-01 19:45:59 +02:00
2026-10-01 19:45:59 +02:00
2026-09-22 13:12:19 +01:00
2026-09-30 12:54:09 +02:00
2026-08-06 02:33:50 -06:00
2026-09-11 06:04:19 +00:00
2026-09-11 06:04:19 +00:00
2026-09-11 06:04:19 +00:00
2026-10-01 18:35:41 +01:00
2026-08-03 20:44:00 +02:00
2026-08-03 20:44:31 +02:00
2026-05-31 23:58:26 +09:00
2026-06-11 00:43:49 +02:00
2026-07-21 12:39:27 +02:00
2026-06-15 18:05:15 +01:00
2026-08-15 20:27:26 +01:00
2026-10-01 01:34:26 +00:00
2026-08-06 02:33:50 -06:00
2026-09-17 10:07:40 +00:00
2026-10-01 22:31:21 +01:00
2026-10-01 23:38:45 +01:00
2026-09-22 13:12:19 +01:00
2026-07-21 12:38:32 +02:00
2026-06-27 19:24:17 +01:00
2026-07-21 12:40:09 +02:00
2026-07-07 00:51:34 +00:00
2026-09-11 06:04:19 +00:00
2026-06-15 15:26:55 +09:00
2026-09-11 06:04:19 +00:00
2026-06-08 10:19:18 +02:00
2026-06-08 10:19:18 +02:00
2026-06-15 10:32:51 +02:00
2026-08-04 03:54:55 -06:00
2026-08-04 03:54:55 -06:00
2026-09-23 12:53:06 +01:00
2026-10-01 01:34:26 +00:00
2026-09-29 18:21:18 +02:00
2026-10-01 01:34:26 +00:00
2026-06-15 17:44:10 +01:00
2026-06-08 09:58:52 +02:00
2026-06-03 14:24:30 +09:00
2026-06-28 14:07:23 +00:00
2026-06-28 14:07:23 +00:00
2026-07-04 13:36:35 +02:00
2026-09-11 06:04:19 +00:00
2026-08-11 02:24:55 -06:00
2026-06-30 17:52:14 +02:00
2026-10-01 01:34:26 +00:00
2026-07-20 13:52:30 +02:00
2026-10-01 19:45:59 +02:00
2026-08-14 08:10:30 +01:00
2026-09-11 06:04:19 +00:00
2026-06-28 14:34:11 +01:00
2026-07-28 22:26:29 +02:00
2026-10-01 01:34:26 +00:00
2026-10-02 01:33:46 +01:00
2026-06-05 13:17:43 +02:00
2026-10-01 18:35:41 +01:00
2026-06-09 01:24:30 +02:00
2026-08-17 10:07:17 +08:00
2026-05-31 23:58:26 +09:00
2026-10-01 19:45:59 +02:00
2026-08-03 20:44:00 +02:00
2026-08-03 20:44:31 +02:00
2026-09-11 06:04:19 +00:00