private String getServerNamespace(ApplicationContext applicationContext) { if (applicationContext instanceof WebServerApplicationContext) { return ((WebServerApplicationContext) applicationContext) .getServerNamespace(); } return null; }
private String getName(WebServerApplicationContext context) { String name = context.getServerNamespace(); return StringUtils.hasText(name) ? name : "server"; }
@EventListener public void onWebServerInitialized(WebServerInitializedEvent event) { String name = event.getApplicationContext().getServerNamespace(); if ("server".equals(name) || !StringUtils.hasText(name)) { localServerPort = event.getWebServer().getPort(); } else if ("management".equals(name)) { localManagementPort = event.getWebServer().getPort(); } } }
@EventListener public void onWebServerInitialized(WebServerInitializedEvent event) { String name = event.getApplicationContext().getServerNamespace(); if ("server".equals(name) || !StringUtils.hasText(name)) { localServerPort = event.getWebServer().getPort(); } else if ("management".equals(name)) { localManagementPort = event.getWebServer().getPort(); } } }