@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(); }
private ServletWebSocketHandlerRegistry initHandlerRegistry() { if (this.handlerRegistry == null) { this.handlerRegistry = new ServletWebSocketHandlerRegistry(); registerWebSocketHandlers(this.handlerRegistry); } return this.handlerRegistry; }
@Bean public HandlerMapping webSocketHandlerMapping() { ServletWebSocketHandlerRegistry registry = initHandlerRegistry(); if (registry.requiresTaskScheduler()) { registry.setTaskScheduler(initTaskScheduler()); } return registry.getHandlerMapping(); }
/** * The default TaskScheduler to use if none is registered explicitly via * {@link SockJsServiceRegistration#setTaskScheduler}: * <pre class="code"> * @Configuration * @EnableWebSocket * public class WebSocketConfig implements WebSocketConfigurer { * * public void registerWebSocketHandlers(WebSocketHandlerRegistry registry) { * registry.addHandler(myHandler(), "/echo") * .withSockJS() * .setTaskScheduler(myScheduler()); * } * * // ... * } * </pre> */ @Bean @Nullable public TaskScheduler defaultSockJsTaskScheduler() { if (initHandlerRegistry().requiresTaskScheduler()) { ThreadPoolTaskScheduler threadPoolScheduler = new ThreadPoolTaskScheduler(); threadPoolScheduler.setThreadNamePrefix("SockJS-"); threadPoolScheduler.setPoolSize(Runtime.getRuntime().availableProcessors()); threadPoolScheduler.setRemoveOnCancelPolicy(true); this.scheduler = threadPoolScheduler; } return this.scheduler; }
/** * The default TaskScheduler to use if none is configured via * {@link SockJsServiceRegistration#setTaskScheduler}, i.e. * <pre class="code"> * @Configuration * @EnableWebSocket * public class WebSocketConfig implements WebSocketConfigurer { * * public void registerWebSocketHandlers(WebSocketHandlerRegistry registry) { * registry.addHandler(myWsHandler(), "/echo").withSockJS().setTaskScheduler(myScheduler()); * } * * // ... * } * </pre> */ @Bean public TaskScheduler defaultSockJsTaskScheduler() { return initTaskScheduler(); }
/** * The default TaskScheduler to use if none is registered explicitly via * {@link SockJsServiceRegistration#setTaskScheduler}: * <pre class="code"> * @Configuration * @EnableWebSocket * public class WebSocketConfig implements WebSocketConfigurer { * * public void registerWebSocketHandlers(WebSocketHandlerRegistry registry) { * registry.addHandler(myHandler(), "/echo") * .withSockJS() * .setTaskScheduler(myScheduler()); * } * * // ... * } * </pre> */ @Bean @Nullable public TaskScheduler defaultSockJsTaskScheduler() { if (initHandlerRegistry().requiresTaskScheduler()) { ThreadPoolTaskScheduler threadPoolScheduler = new ThreadPoolTaskScheduler(); threadPoolScheduler.setThreadNamePrefix("SockJS-"); threadPoolScheduler.setPoolSize(Runtime.getRuntime().availableProcessors()); threadPoolScheduler.setRemoveOnCancelPolicy(true); this.scheduler = threadPoolScheduler; } return this.scheduler; }
@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(); }
private ServletWebSocketHandlerRegistry initHandlerRegistry() { if (this.handlerRegistry == null) { this.handlerRegistry = new ServletWebSocketHandlerRegistry(); registerWebSocketHandlers(this.handlerRegistry); } return this.handlerRegistry; }
private TaskScheduler initTaskScheduler() { if (this.scheduler == null) { ServletWebSocketHandlerRegistry registry = initHandlerRegistry(); if (registry.requiresTaskScheduler()) { ThreadPoolTaskScheduler threadPoolScheduler = new ThreadPoolTaskScheduler(); threadPoolScheduler.setThreadNamePrefix("SockJS-"); threadPoolScheduler.setPoolSize(Runtime.getRuntime().availableProcessors()); threadPoolScheduler.setRemoveOnCancelPolicy(true); this.scheduler = threadPoolScheduler; } else { this.scheduler = new NoOpScheduler(); } } return this.scheduler; }
private ServletWebSocketHandlerRegistry initHandlerRegistry() { if (this.handlerRegistry == null) { this.handlerRegistry = new ServletWebSocketHandlerRegistry(); registerWebSocketHandlers(this.handlerRegistry); } return this.handlerRegistry; }