Delete from _raspberry_pi_map after disconnect

Chi-EEE · Mar 15, 2024 · 7895693 · 7895693
1 parent aa5c7a2
commit 7895693
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/app/admin_panel/js/websocket.js b/app/admin_panel/js/websocket.js
@@ -141,6 +141,7 @@ class WebSocketServer {
                 if (this._wss === undefined) {
                     return;
                 }
+                this._raspberry_pi_map.delete(uuid);
                 global.mainWindow.webContents.send('onDisconnection', JSON.stringify({ uuid: uuid }));
             });
 

diff --git a/app/admin_panel/src/routes/Websocket.svelte b/app/admin_panel/src/routes/Websocket.svelte
@@ -15,7 +15,7 @@
             <WebsocketServerConfig />
             <hr />
             <br />
-            <h1 class="text-gray-900 dark:text-white text-2xl font-bold">Raspberry Pi UUID List</h1>
+            <h1 class="text-gray-900 dark:text-white text-2xl font-bold mb-2">Raspberry Pi UUID List</h1>
             {#each $raspberry_pi_uuid_list as uuid}
                 <Card>
                     <Button
-Original file line number
+Diff line change
@@ Expand Up / @@ -141,6 +141,7 @@ class WebSocketServer { @@
                     if (this._wss === undefined) {
                         return;
                     }
+                    this._raspberry_pi_map.delete(uuid);
                     global.mainWindow.webContents.send('onDisconnection', JSON.stringify({ uuid: uuid }));
                 });
@@ Expand Down @@