| @Bean public WebMvcEndpointHandlerMapping webEndpointServletHandlerMapping(WebEndpointsSupplier webEndpointsSupplier, ServletEndpointsSupplier servletEndpointsSupplier, ControllerEndpointsSupplier controllerEndpointsSupplier, EndpointMediaTypes endpointMediaTypes, CorsEndpointProperties corsProperties, WebEndpointProperties webEndpointProperties, Environment environment) {     List<ExposableEndpoint<?>> allEndpoints = new ArrayList();     Collection<ExposableWebEndpoint> webEndpoints = webEndpointsSupplier.getEndpoints();     allEndpoints.addAll(webEndpoints);     allEndpoints.addAll(servletEndpointsSupplier.getEndpoints());     allEndpoints.addAll(controllerEndpointsSupplier.getEndpoints());     String basePath = webEndpointProperties.getBasePath();     EndpointMapping endpointMapping = new EndpointMapping(basePath);     boolean shouldRegisterLinksMapping = this.shouldRegisterLinksMapping(webEndpointProperties, environment, basePath);     return new WebMvcEndpointHandlerMapping(endpointMapping, webEndpoints, endpointMediaTypes, corsProperties.toCorsConfiguration(), new EndpointLinksResolver(allEndpoints, basePath), shouldRegisterLinksMapping, null); } private boolean shouldRegisterLinksMapping(WebEndpointProperties webEndpointProperties, Environment environment, String basePath) {     return webEndpointProperties.getDiscovery().isEnabled() && (StringUtils.hasText(basePath) || ManagementPortType.get(environment).equals(ManagementPortType.DIFFERENT)); } |