Include DispatcherServlets only exposed as a ServletRegistrationBean in the mappings endpoint

[filiphr]

When a DispatcherServlet is registered via:

@Bean
public ServletRegistrationBean<DispatcherServlet> idmServlet(MyProperties properties) {
    return registerServlet(properties.getServlet(), IdmEngineRestConfiguration.class);
}

Then when the mappings endpoint is invoked then the
context.application.mappings.servlet correctly contains that servlet information. However, under context.application.mappings.dispatcherServlets only the dispatcherServlet and not my custom servlet mappings are displayed.

It would be good if ServletRegistrationBean(s) are also considered as part of the MappingsEndpoint

[philwebb]

Closing in favor of PR #13211

[filiphr]

@philwebb just out of my curiosity (want to understand how your labels are working). You closed this in favor of the PR (this part I get). You then marked it as duplicate, I assume a duplicate of the PR, but the PR is actually a fix for this issue.

[snicoll]

github doesn’t make a difference between an issue and a PR. We’ll use the PR to track the issue described here so this issue becomes a duplicate of it.