if (webman == null)
throw new UiException("The Web manager not found. Make sure <load-on-startup> is specified for "+DHtmlLayoutServlet.class.getName());
return webman;
}
public static final WebManager getWebManager(WebApp wapp) {
<BUG>return getWebManager((ServletContext)wapp.getNativeContext());
}</BUG>
public static final WebManager getWebManagerIfAny(ServletContext ctx) {
return (WebManager)ctx.getAttribute(ATTR_WEB_MANAGER);
}

if (webman == null)
throw new UiException("The Web manager not found. Make sure <load-on-startup> is specified for "+DHtmlLayoutServlet.class.getName());
return webman;
}
public static final WebManager getWebManager(WebApp wapp) {
return getWebManager(wapp.getServletContext());
}
public static final WebManager getWebManagerIfAny(ServletContext ctx) {
return (WebManager)ctx.getAttribute(ATTR_WEB_MANAGER);
}
