diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-28 10:58:58 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:14 -0300 |
| commit | 6add2ee79879712b39f6f76165a24a641127dd3b (patch) | |
| tree | fe8ea592e8f6e6642a81cbfbe70b3b2527b5f3f0 /src/gui/gui.zig | |
| parent | 2a71bff5f06ba3e785a5eb96a8377e2cab8e2cdd (diff) | |
| download | pardes-6add2ee79879712b39f6f76165a24a641127dd3b.tar.gz pardes-6add2ee79879712b39f6f76165a24a641127dd3b.zip | |
Kill written to /ctl is answered before the editor quits
The write got EPIPE: Kill set quit, the request waited for the editor to
settle its effects, and the editor quit and cut the connections first.
A write that quits the editor is now answered at once, and the listener
lets pending answers out (up to 200 ms) before it stops the runner.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/gui/gui.zig')
0 files changed, 0 insertions, 0 deletions