Searched refs:orig_servlet_path (Results 1 – 1 of 1) sorted by relevance
22 private final String orig_servlet_path; field in ForwardRequestWrapper47 orig_servlet_path = request_.getServletPath(); in ForwardRequestWrapper()83 request_.setAttribute_(RequestDispatcher.FORWARD_SERVLET_PATH, orig_servlet_path); in setDispatcherType()143 request_.setServletPath(orig_filter_path, orig_servlet_path, orig_path_info); in close()