/**
         * 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());
            }
        }