void function ( String arg0 ) { handler = new DefaultServletHttpRequestHandler ( ) ; handler . setDefaultServletName ( arg0 ) ; handler . setServletContext ( servletContext ) ; }
enable forwarding to the `` default '' servlet identified by the given name . this is useful when the default servlet can not be auto-detected , for example when it has been manually configured . concode_field_sep DefaultServletHttpRequestHandler handler concode_elem_sep ServletContext servletContext concode_field_sep AbstractHandlerMapping getHandlerMapping