From 6b8cec9fbe1b2656597ba321246ac608940ed980 Mon Sep 17 00:00:00 2001
From: Bent Bisballe Nyeng <deva@aasimon.org>
Date: Sun, 21 Jun 2020 18:13:31 +0200
Subject: Fix unsubscribe, which didn't remove the board root node.

---
 src/ws/view.js | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/ws/view.js')

diff --git a/src/ws/view.js b/src/ws/view.js
index 8e349d5..b8ef19a 100644
--- a/src/ws/view.js
+++ b/src/ws/view.js
@@ -37,6 +37,15 @@ function getBoard(subscribeid)
 	return board;
 }
 
+function removeBoard(subscribeid)
+{
+	var board = document.getElementById("board_" + subscribeid);
+	if(board)
+	{
+		boards.removeChild(board);
+	}
+}
+
 //////////////////////////////////////////////////////
 //////////////////////////////////////////////////////
 
-- 
cgit v1.2.3