From 9d9b6ae2c7a8595792dd4a117181f9c76f3489ad Mon Sep 17 00:00:00 2001
From: Lars Simon Winzer <lars.winzer@stud.unibas.ch>
Date: Sun, 15 Mar 2026 18:57:38 +0100
Subject: [PATCH] Add: Handler for DisconnectEvent to SessionRegistry

---
 .../cs108/casono/server/domain/user/UserRegistry.java  | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/main/java/ch/unibas/dmi/dbis/cs108/casono/server/domain/user/UserRegistry.java b/src/main/java/ch/unibas/dmi/dbis/cs108/casono/server/domain/user/UserRegistry.java
index 600d901..0ab6a44 100644
--- a/src/main/java/ch/unibas/dmi/dbis/cs108/casono/server/domain/user/UserRegistry.java
+++ b/src/main/java/ch/unibas/dmi/dbis/cs108/casono/server/domain/user/UserRegistry.java
@@ -39,4 +39,14 @@ public class UserRegistry {
         }
         return Optional.empty();
     }
+
+    // TODO: Add to EventRegistry with DisconnectEvent
+    public synchronized void onDisconnect(SessionId sessionId) {
+        Optional<User> user = findBySessionId(sessionId);
+
+        if (user.isPresent()) {
+            user.get().markDisconnected();
+        }
+    }
+
 }
\ No newline at end of file