private void lookupDefaultServletName ( ServletContext servletContext ) { if ( servletContext . getNamedDispatcher ( COMMON_DEFAULT_SERVLET_NAME ) != null ) { defaultServletName = COMMON_DEFAULT_SERVLET_NAME ; } else if ( servletContext . getNamedDispatcher ( RESIN_DEFAULT_SERVLET_NAME ) != null ) { defaultServletName = RESIN_DEFAULT_SERVLET_NAME ; } else if ( servletContext . getNamedDispatcher ( WEBLOGIC_DEFAULT_SERVLET_NAME ) != null ) { defaultServletName = WEBLOGIC_DEFAULT_SERVLET_NAME ; } else if ( servletContext . getNamedDispatcher ( WEBSPHERE_DEFAULT_SERVLET_NAME ) != null ) { defaultServletName = WEBSPHERE_DEFAULT_SERVLET_NAME ; } else if ( servletContext . getNamedDispatcher ( GAE_DEFAULT_SERVLET_NAME ) != null ) { defaultServletName = GAE_DEFAULT_SERVLET_NAME ; } else if ( servletContext . getNamedDispatcher ( JEUS_DEFAULT_SERVLET_NAME ) != null ) { defaultServletName = JEUS_DEFAULT_SERVLET_NAME ; } else { if ( log . isDebugEnabled ( ) ) { log . debug ( "Unable to locate the default servlet for serving static content. " + "Please set the 'web.defaultServletName'." ) ; } } }
Lookup default servlet name .