public static string getPageURI(QuercusHttpServletRequest request) { string uri = request.getIncludeRequestUri(); if (uri != null) { return(uri); } else { // php/0829 uri = request.getForwardRequestUri(); if (uri != null) { return(uri); } else { return(request.getRequestURI()); } } }