Package com.io7m.idstore.server.internal
Class IdUserSessionService
java.lang.Object
com.io7m.idstore.server.internal.IdUserSessionService
- All Implemented Interfaces:
IdServiceType,jakarta.servlet.http.HttpSessionListener,EventListener
public final class IdUserSessionService
extends Object
implements IdServiceType, jakarta.servlet.http.HttpSessionListener
A service to create and manage user sessions.
-
Constructor Summary
ConstructorsConstructorDescriptionIdUserSessionService(IdServerTelemetryService inTelemetry) A service to create and manage user sessions. -
Method Summary
Modifier and TypeMethodDescriptioncreateOrGet(UUID userId, String sessionId) Create or get an existing user session.voidDelete a user session if one exists.voidsessionCreated(jakarta.servlet.http.HttpSessionEvent se) voidsessionDestroyed(jakarta.servlet.http.HttpSessionEvent se) toString()
-
Constructor Details
-
IdUserSessionService
A service to create and manage user sessions.- Parameters:
inTelemetry- The telemetry service
-
-
Method Details
-
description
- Specified by:
descriptionin interfaceIdServiceType- Returns:
- The service description
-
createOrGet
Create or get an existing user session.- Parameters:
userId- The user IDsessionId- The session ID- Returns:
- A user session
-
sessionCreated
public void sessionCreated(jakarta.servlet.http.HttpSessionEvent se) - Specified by:
sessionCreatedin interfacejakarta.servlet.http.HttpSessionListener
-
sessionDestroyed
public void sessionDestroyed(jakarta.servlet.http.HttpSessionEvent se) - Specified by:
sessionDestroyedin interfacejakarta.servlet.http.HttpSessionListener
-
delete
Delete a user session if one exists.- Parameters:
userId- The user IDsessionId- The session ID
-
toString
-