public RequestDispatcher getRequestDispatcher(String path) {
if (path == null || path.length() == 0) return null;
else if (path.charAt(0) == '/') return getWebApp().getRequestDispatcher(path);
else {
CharBuffer cb = new CharBuffer();
WebApp webApp = getWebApp();
String servletPath = getPageServletPath();
if (servletPath != null) cb.append(servletPath);
String pathInfo = getPagePathInfo();
if (pathInfo != null) cb.append(pathInfo);
int p = cb.lastIndexOf('/');
if (p >= 0) cb.setLength(p);
cb.append('/');
cb.append(path);
if (webApp != null) return webApp.getRequestDispatcher(cb.toString());
return null;
}
}
