public class WebSocketConfigurationSupport
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ServletWebSocketHandlerRegistry |
handlerRegistry |
private TaskScheduler |
scheduler |
Constructor and Description |
---|
WebSocketConfigurationSupport() |
Modifier and Type | Method and Description |
---|---|
TaskScheduler |
defaultSockJsTaskScheduler()
The default TaskScheduler to use if none is registered explicitly via
SockJsServiceRegistration.setTaskScheduler(org.springframework.scheduling.TaskScheduler) :
@Configuration @EnableWebSocket public class WebSocketConfig implements WebSocketConfigurer { public void registerWebSocketHandlers(WebSocketHandlerRegistry registry) { registry.addHandler(myHandler(), "/echo") .withSockJS() .setTaskScheduler(myScheduler()); } // ... |
private ServletWebSocketHandlerRegistry |
initHandlerRegistry() |
protected void |
registerWebSocketHandlers(WebSocketHandlerRegistry registry) |
HandlerMapping |
webSocketHandlerMapping() |
@Nullable private ServletWebSocketHandlerRegistry handlerRegistry
@Nullable private TaskScheduler scheduler
@Bean public HandlerMapping webSocketHandlerMapping()
private ServletWebSocketHandlerRegistry initHandlerRegistry()
protected void registerWebSocketHandlers(WebSocketHandlerRegistry registry)
@Bean @Nullable public TaskScheduler defaultSockJsTaskScheduler()
SockJsServiceRegistration.setTaskScheduler(org.springframework.scheduling.TaskScheduler)
:
@Configuration @EnableWebSocket public class WebSocketConfig implements WebSocketConfigurer { public void registerWebSocketHandlers(WebSocketHandlerRegistry registry) { registry.addHandler(myHandler(), "/echo") .withSockJS() .setTaskScheduler(myScheduler()); } // ... }