spring-framework / org.springframework.web.servlet.support / AbstractDispatcherServletInitializer / DEFAULT_SERVLET_NAME
DEFAULT_SERVLET_NAME
static val DEFAULT_SERVLET_NAME: String
The default servlet name. Can be customized by overriding #getServletName.