relax the Tomcat version check

vladak · vladak · commit c7507d2dbb5a · 2022-11-23T10:24:14.000+01:00
diff --git a/opengrok-web/src/main/java/org/opengrok/web/WebappListener.java b/opengrok-web/src/main/java/org/opengrok/web/WebappListener.java
@@ -95,7 +95,7 @@ public void contextInitialized(final ServletContextEvent servletContextEvent) {
             int idx;
             if ((idx = serverInfo.indexOf('/')) > 0) {
                 String version = serverInfo.substring(idx + 1);
-                if (!version.startsWith("10.0")) {
+                if (!version.startsWith("10.")) {
                     LOGGER.log(Level.SEVERE, "Unsupported Tomcat version: {0}", version);
                     throw new Error("Unsupported Tomcat version");
                 }

Original file line number	Diff line number	Diff line change
`@@ -95,7 +95,7 @@ public void contextInitialized(final ServletContextEvent servletContextEvent) {`
`95`	`95`	`int idx;`
`96`	`96`	`if ((idx = serverInfo.indexOf('/')) > 0) {`
`97`	`97`	`String version = serverInfo.substring(idx + 1);`
`98`		`- if (!version.startsWith("10.0")) {`
	`98`	`+ if (!version.startsWith("10.")) {`
`99`	`99`	`LOGGER.log(Level.SEVERE, "Unsupported Tomcat version: {0}", version);`
`100`	`100`	`throw new Error("Unsupported Tomcat version");`
`101`	`101`	`}`