Package io.goobi.viewer.websockets

Class UserEndpoint

java.lang.Object

io.goobi.viewer.websockets.UserEndpoint

public class UserEndpoint
extends Object

Endpoint that maps HTTP session IDs to connected web sockets.

Constructor Summary

Constructors

Constructor	Description
UserEndpoint()

Method Summary

Modifier and Type	Method	Description
void	onClose(Session session)
void	onError(Session session, Throwable t)
void	onMessage(String message)
void	onOpen(Session session, EndpointConfig config)
static void	shutdown()	Cancels all pending session-clear timers and clears the map.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

UserEndpoint

public UserEndpoint()

Method Details

onOpen

public void onOpen(Session session,
 EndpointConfig config)

onMessage

public void onMessage(String message)

onClose

public void onClose(Session session)

onError

public void onError(Session session,
 Throwable t)

shutdown

public static void shutdown()

Cancels all pending session-clear timers and clears the map. Called by ContextListener during application shutdown to prevent timer threads from outliving the application context.