From e63d8f030588dcf0eb471a241576979c95991c37 Mon Sep 17 00:00:00 2001
From: Midgard <midgard@zeus.ugent.be>
Date: Fri, 17 Jun 2022 14:20:42 +0200
Subject: [PATCH] Handle user changes

---
 js/mm_client.js | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/js/mm_client.js b/js/mm_client.js
index c6b1954..3d68377 100644
--- a/js/mm_client.js
+++ b/js/mm_client.js
@@ -170,6 +170,10 @@ class MattermostClient {
 		}
 		return this.users;
 	}
+	regetUsers() {
+		this.users = null;
+		return this.getUsers();
+	}
 
 	async filePublicLink(file_id) {
 		const response = await this.get(`/files/${file_id}/link`, {});
@@ -186,7 +190,8 @@ class MattermostClient {
 		const socket = new WebSocket(endpoint);
 
 		socket.addEventListener("error", event => {
-			 console.error("Websocket errored", event.data);
+			console.error("Websocket errored", event.data);
+			this.regetUsers();
 		});
 
 		socket.addEventListener("close", event => {
@@ -208,6 +213,13 @@ class MattermostClient {
 
 			} else if (data.event === "channel_viewed") {
 				pubsub.publish("CHANNEL_READ", {endpoint: this.endpoint, channel_id: data.data.channel_id});
+
+			} else if (
+					data.event === "user_added" ||
+					data.event === "user_updated" ||
+					data.event === "user_removed"
+			) {
+				this.regetUsers();
 			}
 
 		});