public class WebSocketConfigurationSupport extends Object
| Constructor and Description |
|---|
WebSocketConfigurationSupport() |
| Modifier and Type | Method and Description |
|---|---|
org.springframework.scheduling.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());
}
// ... |
protected void |
registerWebSocketHandlers(WebSocketHandlerRegistry registry) |
org.springframework.web.servlet.HandlerMapping |
webSocketHandlerMapping(org.springframework.scheduling.TaskScheduler defaultSockJsTaskScheduler) |
@Bean
public org.springframework.web.servlet.HandlerMapping webSocketHandlerMapping(@Nullable
org.springframework.scheduling.TaskScheduler defaultSockJsTaskScheduler)
protected void registerWebSocketHandlers(WebSocketHandlerRegistry registry)
@Bean @Nullable public org.springframework.scheduling.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());
}
// ...
}