@@ -303,5 +303,4 @@ To delete events stored at a terminal, e.g., after they have been transferred to
Apart from the RESTful HTTP interface described elsewhere on this page, each user terminal also provides a WebSocket based API for real-time notifications. Selected subsystems within the user terminal generate such notifications. The API provides a subscribe mechanism that can be used by the client to indicate interest in real-time notifications.
The WebSocket API is based on [socket.io](https://socket.io/). JavaScript clients can use the [socket.io client library](https://socket.io/docs/client-api/) to connect to the user terminal's WebSocket server. The WebSocket API is available at `ws://<hostname>:<port>/socket.io`, where <hostname> is the hostname of the user terminal and <port> is an ephemeral port number of the terminal's HTTP server that can be discovered via ZeroConf.
The WebSocket API is based on [socket.io](https://socket.io/). JavaScript clients can use the [socket.io client library](https://socket.io/docs/client-api/) to connect to the user terminal's WebSocket server. The WebSocket API is available at `ws://<hostname>:<port>/socket.io`, where <hostname> is the hostname of the user terminal and <port> is an ephemeral port number of the terminal's HTTP server that can be discovered via ZeroConf.
