/** * Enable forwarding to the "default" Servlet identified by the given name. * <p>This is useful when the default Servlet cannot be autodetected, * for example when it has been manually configured. * @see DefaultServletHttpRequestHandler */ public void enable(@Nullable String defaultServletName) { this.handler = new DefaultServletHttpRequestHandler(); if (defaultServletName != null) { this.handler.setDefaultServletName(defaultServletName); } this.handler.setServletContext(this.servletContext); }
/** * Enable forwarding to the "default" Servlet identified by the given name. * <p>This is useful when the default Servlet cannot be autodetected, * for example when it has been manually configured. * @see DefaultServletHttpRequestHandler */ public void enable(@Nullable String defaultServletName) { this.handler = new DefaultServletHttpRequestHandler(); if (defaultServletName != null) { this.handler.setDefaultServletName(defaultServletName); } this.handler.setServletContext(this.servletContext); }
/** * Enable forwarding to the "default" Servlet identified by the given name. * <p>This is useful when the default Servlet cannot be autodetected, * for example when it has been manually configured. * @see DefaultServletHttpRequestHandler */ public void enable(String defaultServletName) { this.handler = new DefaultServletHttpRequestHandler(); this.handler.setDefaultServletName(defaultServletName); this.handler.setServletContext(this.servletContext); }