diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-28 15:02:31 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:15 -0300 |
| commit | 8d93016e923565e2e8b73aa7b549dd65b5d18a8c (patch) | |
| tree | 2d0324ea3642404c421ba8b667996ded08f72ba8 /src/detached/server.zig | |
| parent | d70f0029f0808e0a3724150a081015e0f943dfb5 (diff) | |
| download | pardes-8d93016e923565e2e8b73aa7b549dd65b5d18a8c.tar.gz pardes-8d93016e923565e2e8b73aa7b549dd65b5d18a8c.zip | |
Kill signals a command only while it runs, and only the pane it was meant for
A signal effect carried only a slot, so a Kill followed in the same step by
the pane's closing and its slot's reuse signalled the new pane's child; and a
command pane whose child had exited and been reaped kept a process group id
another process could take. The effect now carries the pane's serial, checked
as it is performed, and a host signals no command whose exit it has recorded;
the core already sends Kill only to a command it has not been told is done.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/detached/server.zig')
| -rw-r--r-- | src/detached/server.zig | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/detached/server.zig b/src/detached/server.zig index 202eafb3..5bf2384b 100644 --- a/src/detached/server.zig +++ b/src/detached/server.zig @@ -523,7 +523,8 @@ pub const Session = struct { const s = of(ctx); if (pane >= s.ptys.len) return; const pt = s.ptys[pane]; - if (pt.fd < 0) return; + // A command whose exit is recorded is reaped: its group may be another's. + if (pt.fd < 0 or pt.cmd.exited) return; host_io.signalTty(pt.pid, pt.fd, sig); } |
