From 4f6452c90c703b5ce7c876473c7dc0cb70b0e3b7 Mon Sep 17 00:00:00 2001 From: Hornwitser Date: Thu, 16 Feb 2023 01:07:42 +0100 Subject: [PATCH] Fix Web UI not removing log subscriptions --- packages/web_ui/src/util/websocket.jsx | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/web_ui/src/util/websocket.jsx b/packages/web_ui/src/util/websocket.jsx index b6d72b15..35181681 100644 --- a/packages/web_ui/src/util/websocket.jsx +++ b/packages/web_ui/src/util/websocket.jsx @@ -539,6 +539,7 @@ export class Control extends libLink.Link { handlers.splice(index, 1); if (!handlers.length) { + this.logHandlers.delete(filter); await this.updateLogSubscriptions(); } }