public String getServletPath(String path) { if (!isApplicable(path)) { return null; } if (prefixMapped) { return mapping; } else { return path; } }
public String getServletPath(String path) { if (!isApplicable(path)) { return null; } if (prefixMapped) { return mapping; } else { return path; } }
public String getPathInfo(String path) { if (!isApplicable(path)) { return null; } if (prefixMapped) { String pathInfo = path.substring(mapping.length() - 1); if (!pathInfo.startsWith("/")) { pathInfo = "/" + pathInfo; } return pathInfo; } else { return null; } }
public String getPathInfo(String path) { if (!isApplicable(path)) { return null; } if (prefixMapped) { String pathInfo = path.substring(mapping.length() - 1); if (!pathInfo.startsWith("/")) { pathInfo = "/" + pathInfo; } return pathInfo; } else { return null; } }