7 library(http/hub): Manage a hub for websockets
All Application Manual Name SummaryHelp

Availability::- use_module(library(http/hub)).
Source[det]hub_add(+Hub, +WebSocket, ?Id)
Add a WebSocket to the hub. Id is used to identify this user. It may be provided (as a ground term) or is generated as a UUID.
ClioPatria (version V3.1.1-51-ga0b30a5)