Deprecated as of 5.0 a TaskScheduler is not provided upfront, not until it is obvious that it is needed, see ServletWebSocketHandlerRegistry.requiresTaskScheduler() and ServletWebSocketHandlerRegistry.setTaskScheduler(org.springframework.scheduling.TaskScheduler).
@Bean public HandlerMapping webSocketHandlerMapping() { ServletWebSocketHandlerRegistry registry = initHandlerRegistry(); if (registry.requiresTaskScheduler()) { TaskScheduler scheduler = defaultSockJsTaskScheduler(); Assert.notNull(scheduler, "Expected default TaskScheduler bean"); registry.setTaskScheduler(scheduler); } return registry.getHandlerMapping(); }
@Bean public HandlerMapping webSocketHandlerMapping() { ServletWebSocketHandlerRegistry registry = initHandlerRegistry(); return registry.getHandlerMapping(); }
@Bean public HandlerMapping webSocketHandlerMapping() { ServletWebSocketHandlerRegistry registry = initHandlerRegistry(); if (registry.requiresTaskScheduler()) { TaskScheduler scheduler = defaultSockJsTaskScheduler(); Assert.notNull(scheduler, "Expected default TaskScheduler bean"); registry.setTaskScheduler(scheduler); } return registry.getHandlerMapping(); }
@Bean public HandlerMapping webSocketHandlerMapping() { ServletWebSocketHandlerRegistry registry = initHandlerRegistry(); if (registry.requiresTaskScheduler()) { registry.setTaskScheduler(initTaskScheduler()); } return registry.getHandlerMapping(); }