code: private String getRequestPath(HttpServletRequest request) {
  		String url = request.getServletPath();
  
  		if (request.getPathInfo() != null) {
  			url += request.getPathInfo();
  		}
  
  		return url;
  	}
docs: borrowed from org.springframework.security.web.util.matcher.AntPathRequestMatcher#getRequestPath