private void publishWebSocketEndpoint(
WebSocketHandlerRegistry wsHandlerRegistry,
JsonRpcHandler<?> handler, List<String> paths) {
JsonRpcWebSocketHandler wsHandler = new JsonRpcWebSocketHandler(
(ProtocolManager) ctx.getBean("protocolManager", handler));
for (String path : paths) {
wsHandlerRegistry.addHandler(wsHandler, path + "/ws").withSockJS();