mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
fix(coding-agent): run extension shutdown via clean TUI shutdown path
This commit is contained in:
@@ -1068,6 +1068,9 @@ export class InteractiveMode {
|
||||
},
|
||||
shutdownHandler: () => {
|
||||
this.shutdownRequested = true;
|
||||
if (!this.session.isStreaming) {
|
||||
void this.shutdown();
|
||||
}
|
||||
},
|
||||
onError: (error) => {
|
||||
this.showExtensionError(error.extensionPath, error.error, error.stack);
|
||||
|
||||
Reference in New Issue
Block a user