diff options
| author | caner-akca <94343893+caner-akca@users.noreply.github.com> | 2026-09-13 20:00:57 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-13 19:00:57 +0200 |
| commit | f0cb0e0683953e7dbc32d911268931f25d3e448f (patch) | |
| tree | 070f7332285f6028cab9cb2b8a1ef5203ceb15e3 /src/input/keybind_help.rs | |
| parent | ff32bd450eb590c4134f8412e98315919cf896a4 (diff) | |
fix: keep an agent name through a process-exit observation (#3574)
A process-exit observation is not proof the agent is gone: the same
observation can be wrong while the agent keeps running, and the name is
the only handle its owner has on the pane. Detection uncertainty already
preserves the name, so releasing it on the observation alone contradicts
that contract and leaves a live agent unreachable by name with a rename
as the only recovery.
Free the name at the point the agent actually leaves the pane - a
recorded exit with no agent detected any more - so a wrong observation
costs nothing and a real exit still releases the name for reuse.
refs #3225
Co-authored-by: JJ Liebig <jonathan.liebig@gmail.com>
Diffstat (limited to 'src/input/keybind_help.rs')
0 files changed, 0 insertions, 0 deletions
