From 95ca18931ce5b7bdbba8c64e829b5c3e7ea82c59 Mon Sep 17 00:00:00 2001
From: Andrea Jiang <jianga@ethz.ch>
Date: Sat, 30 Dec 2023 17:48:36 +0100
Subject: [PATCH] Decline any current Log when clicking the 'close connection'
 button

---
 frontend/index.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/frontend/index.html b/frontend/index.html
index 66cb6770e..ab71facc4 100644
--- a/frontend/index.html
+++ b/frontend/index.html
@@ -130,7 +130,8 @@
         const closeConnection = () => {
             console.log('Closing connection from button');
             if (ws) {
-                ws.close()
+                declineIncomingLog();
+                ws.close();
 
                 // Send the response on the WebSocket
                 let webSocketResponse = {