fix(coding-agent): stop bordered loader on dispose

fixes #3093
This commit is contained in:
Armin Ronacher
2026-04-14 16:48:54 +02:00
parent efc58fed70
commit 64a0a74d37

View File

@@ -61,6 +61,8 @@ export class BorderedLoader extends Container {
dispose(): void {
if ("dispose" in this.loader && typeof this.loader.dispose === "function") {
this.loader.dispose();
} else if ("stop" in this.loader && typeof this.loader.stop === "function") {
this.loader.stop();
}
}
}