/**
* Returns the servlet-path for the current page, i.e. this will return the
* url of the include page, not the original request.
*/
public static string getPageServletPath(QuercusHttpServletRequest request)
{
string servletPath = request.getIncludeServletPath();
if (servletPath != null)
{
return(servletPath);
}
else
{
return(request.getServletPath());
}
}