lkn
/
ollie-9p
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

mgr: KillSession uses context cancellation, not direct Interrupt 

Session death propagates via context (SIGKILL semantics).
User interrupt (Ctrl-C) is a separate signal via agent.Interrupt().
This commit is contained in:
Levi Neely 2026-07-29 22:28:55 +02:00
parent 3a8b1ba4a5
commit bd30678ea0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mgr/persist.go
View File

@ -311,7 +311,7 @@ func (s *Manager) KillSession(id string) {
delete(s.sessions, id) delete(s.sessions, id)
s.mu.Unlock() s.mu.Unlock()
if sess != nil { if sess != nil {
sess.Cancel() sess.Cancel() // signal: context cancellation propagates to all agents
sess.Core.Close() sess.Core.Close()
s.removePersistedAgent(id) s.removePersistedAgent(id)
s.cfg.Log.Info("killed session %s", id) s.cfg.Log.Info("killed session %s", id)