@Push together with a custom web socket based interface

Hi,

I want to use websockets for using @Push and additionally I want to register a websocket handler for “realtime” communication with a standalone program.

How could I register my own websocket handler?

If I register a org.eclipse.jetty.websocket.servlet.WebSocketServlet with a ServletRegistrationBean then I get a conflict with the Vaadin websocket servlet.

Thanks
Marc