On 12.06.2018 18:13, Mark Thomas wrote:
[snip]..
I'll see what I can do. The major constraint is that all this has to be set via
Tomcat
specific user properties as there is no API for in the Java WebSocket API.
This is a bit OT, but I have a question since the beginning of this thread :
Is Tomcat really supposed to provide a websocket *client* API ?
From the initial post, I understood that what the OP wants to do, is to connect, *from* a
Tomcat servlet, *to* an external websocket server (not necessarily Tomcat).
If so, it is certainly nice to help him doing so, but if it means providing
functionalities that the standard Java API websocket client doesn't, does that not make
this thing less portable ?
Or did I get this all wrong ?
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org
For additional commands, e-mail: users-h...@tomcat.apache.org
