Restructure server files and folders #212

Merged
lars.winzer merged 16 commits from chore/26-restructure-server-files into main 2026-03-30 18:59:21 +02:00
Showing only changes of commit 86b4a6c191 - Show all commits
@@ -58,7 +58,6 @@ public class UserRegistry {
*
* @param sessionId the session ID of the disconnected client
*/
// TODO: Add to EventRegistry with DisconnectEvent
public synchronized void onDisconnect(SessionId sessionId) {
User user = bySessionId.remove(sessionId);
if (user == null) {