ui: This WebSocket should be closed on unmounted

Signed-off-by: Jianhui Zhao <zhaojh329@gmail.com>
2026-02-27 09:53:21 +08:00 · 2025-07-19 15:19:17 +08:00
parent cec373b4dd
commit 39e2d8bbb6
1 changed files with 3 additions and 0 deletions
@@ -356,6 +356,9 @@ export default {
    this.dispose()
    if (this.term)
      this.term.dispose()
+
+    if (this.socket)
+      this.socket.close()
  }
 }
 </script>