From 968652491e6cec126e33b4a28e279bbfa6edd5a2 Mon Sep 17 00:00:00 2001
From: Pablu23 <me@pablu.de>
Date: Fri, 10 Oct 2025 22:53:01 +0200
Subject: [PATCH] Send playerLeave message on close

---
 src/routes/lobby/[id]/+page.svelte | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/routes/lobby/[id]/+page.svelte b/src/routes/lobby/[id]/+page.svelte
index b3f4336..60ee744 100644
--- a/src/routes/lobby/[id]/+page.svelte
+++ b/src/routes/lobby/[id]/+page.svelte
@@ -81,6 +81,10 @@
 	}
 
 	function leaveLobby() {
+    wsClient.sendMessage({
+      type: 'leaveGame',
+      player: data.user.email
+    })
 		wsClient.disconnect();
 		// In a real app, you'd likely redirect to another page here
 	}
@@ -98,7 +102,7 @@
 
 	onDestroy(() => {
 		// Clean up WebSocket connection when component is destroyed
-		wsClient.disconnect();
+    leaveLobby()
 	});
 </script>