private int parseVersion(String version) { try { return Integer.parseInt(version); } catch (NumberFormatException e) { JettyLogger.LOG.debugv("Unable to parse version string: {0}", version); return -1; } }
private int parseVersion(String version) { try { return Integer.parseInt(version); } catch (NumberFormatException e) { JettyLogger.LOG.debugv("Unable to parse version string: {0}", version); return -1; } }
private int parseVersion(String version) { try { return Integer.parseInt(version); } catch (NumberFormatException e) { JettyLogger.LOG.debugv("Unable to parse version string: {0}", version); return -1; } }
@Override public boolean touch(ResourceLoader resourceLoader, ContainerContext context) throws Exception { ServletContext sc = context.getServletContext(); String si = sc.getServerInfo(); JettyLogger.LOG.debugv("Parsing server info: {0}", si); if(!si.contains(JETTY_SERVERNAME)) { return false; } int p = si.indexOf("/"); if (p < 0) { return false; } String version = si.substring(p + 1); String[] split = version.split("\\."); int major = parseVersion(split[0]); int minor = parseVersion(split[1]); return (major > MAJOR_VERSION || (major == MAJOR_VERSION & minor >= MINOR_VERSION)); }
@Override public boolean touch(ResourceLoader resourceLoader, ContainerContext context) throws Exception { ServletContext sc = context.getServletContext(); String si = sc.getServerInfo(); JettyLogger.LOG.debugv("Parsing server info: {0}", si); if(!si.contains(JETTY_SERVERNAME)) { return false; } int p = si.indexOf("/"); if (p < 0) { return false; } String version = si.substring(p + 1); String[] split = version.split("\\."); int major = parseVersion(split[0]); int minor = parseVersion(split[1]); return (major > MAJOR_VERSION || (major == MAJOR_VERSION & minor >= MINOR_VERSION)); }
@Override public boolean touch(ResourceLoader resourceLoader, ContainerContext context) throws Exception { ServletContext sc = context.getServletContext(); String si = sc.getServerInfo(); JettyLogger.LOG.debugv("Parsing server info: {0}", si); if(!si.contains(JETTY_SERVERNAME)) { return false; } int p = si.indexOf("/"); if (p < 0) { return false; } String version = si.substring(p + 1); String[] split = version.split("\\."); int major = parseVersion(split[0]); int minor = parseVersion(split[1]); return (major > MAJOR_VERSION || (major == MAJOR_VERSION & minor >= MINOR_VERSION)); }