dedup: stream.patch

This commit is contained in:
Simon Klee
2026-04-18 13:17:40 +02:00
parent afc5c650e3
commit 3e9e9b6e80

View File

@@ -274,11 +274,6 @@ export class RunFooter implements FooterApi {
}
if (next.type === "stream.patch") {
if (typeof next.patch.status === "string" && next.patch.phase === undefined) {
this.patch({ phase: "running", ...next.patch })
return
}
this.patch(next.patch)
return
}
@@ -411,19 +406,7 @@ export class RunFooter implements FooterApi {
}
public destroy(): void {
if (this.destroyed) {
return
}
this.flush()
this.destroyed = true
this.notifyClose()
this.clearInterruptTimer()
this.clearExitTimer()
this.renderer.off(CliRenderEvents.DESTROY, this.handleDestroy)
this.prompts.clear()
this.closes.clear()
this.scrollback.destroy()
this.handleDestroy()
}
private notifyClose(): void {