Add remove methods to SessionRegistry #238

Merged
lars.winzer merged 4 commits from feat/54-sessionregistry-remove-method into main 2026-04-07 13:35:09 +02:00
Showing only changes of commit 822dfe778d - Show all commits
@@ -82,7 +82,7 @@ public class UserRegistry {
/** /**
* Removes a user from the internals of the registry. * Removes a user from the internals of the registry.
* *
* @param user the user to remove * @param user the user to remove
*/ */
private synchronized void remove(User user) { private synchronized void remove(User user) {