Package io.goobi.viewer.websockets

Class UserEndpoint

java.lang.Object

jakarta.websocket.Endpoint

io.goobi.viewer.websockets.UserEndpoint

public class UserEndpoint
extends jakarta.websocket.Endpoint

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(jakarta.websocket.Session session)
void	onError(jakarta.websocket.Session session, Throwable t)
void	onMessage(String message)
void	onOpen(jakarta.websocket.Session session, jakarta.websocket.EndpointConfig config)

Methods inherited from class jakarta.websocket.Endpoint

onClose

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(jakarta.websocket.Session session,
 jakarta.websocket.EndpointConfig config)

Specified by:

onOpen in class jakarta.websocket.Endpoint

onMessage

public void onMessage(String message)

onClose

public void onClose(jakarta.websocket.Session session)

onError

public void onError(jakarta.websocket.Session session,
 Throwable t)

Overrides:

onError in class jakarta.websocket.Endpoint