aboutsummaryrefslogtreecommitdiff
path: root/src/client/shell/surface_patch.rs
diff options
context:
space:
mode:
authorcaner-akca <94343893+caner-akca@users.noreply.github.com>2026-09-13 20:00:57 +0300
committerGitHub <noreply@github.com>2026-09-13 19:00:57 +0200
commitf0cb0e0683953e7dbc32d911268931f25d3e448f (patch)
tree070f7332285f6028cab9cb2b8a1ef5203ceb15e3 /src/client/shell/surface_patch.rs
parentff32bd450eb590c4134f8412e98315919cf896a4 (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/client/shell/surface_patch.rs')
0 files changed, 0 insertions, 0 deletions