From d8da638bc2003feea78ec10a8e9f25c0bae5bed4 Mon Sep 17 00:00:00 2001
From: Josh Creek <8179928+jcreek@users.noreply.github.com>
Date: Thu, 27 Jul 2023 22:03:54 +0100
Subject: [PATCH] feat(#10): Add handling for a user getting disconnected

---
 src/routes/estimation/estimation.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/routes/estimation/estimation.js b/src/routes/estimation/estimation.js
index b71ce6a..5e6677a 100644
--- a/src/routes/estimation/estimation.js
+++ b/src/routes/estimation/estimation.js
@@ -25,6 +25,7 @@ function connectToWebSocket(roomId, onMessageReceived) {
 
 	socket.addEventListener('close', () => {
 		console.log('Disconnected from WebSocket server');
+		alert('You have been disconnected from the server. Please refresh the page to reconnect.');
 	});
 
 	return socket;