-- Do something with user.string_representation
but quite similar, iff you have access to WSF_REQUEST from the WEB_SOCKET.
if attached ws.request.execution_variable ("user") as l_user then
Finally, at the moment we don't have utility classes like WEB_SOCKET_FILTER, WEB_SOCKET_FILTERED_ROUTED_EXECUTION,
WEB_SOCKET_URI_HELPER_FOR_ROUTED_EXECUTION etc, adding this classes will make the web socket development easier.
EiffelWeb project is a community project, and so if you want to contribute ;), I will help you with it.