diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-30 21:35:50 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:17 -0300 |
| commit | 4e5719a133030e8ed29799d4959bb0b917092d7c (patch) | |
| tree | d933325f8bc15e4484385c5b00f64b63794ffa20 /src/recent.zig | |
| parent | 20685b048fcb307840451471679339c9b9704b23 (diff) | |
| download | pardes-4e5719a133030e8ed29799d4959bb0b917092d7c.tar.gz pardes-4e5719a133030e8ed29799d4959bb0b917092d7c.zip | |
An editor killed with SIGTERM or SIGHUP removes its 9P socket, and a start sweeps the pardes-9p-<pid>.sock files whose pid is gone
The runtime directory had gathered a hundred sockets of dead editors:
only a clean exit removed its own, and a signal or a crash left it. The
terminal's kill handler and, where nothing else handles the signals, a
handler of the listener's own now unlink the socket before the signal's
death. At listen, each pardes-9p-<pid>.sock whose pid kill(pid, 0)
answers ESRCH for, that is a socket of this user's and that nothing
answers on, is removed; a live pid's, a named session's and anything
else are never touched.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/recent.zig')
0 files changed, 0 insertions, 0 deletions
