Bump jetty-server from 9.2.3.v20140905 to 9.4.41.v20210516

Bumps [jetty-server](https://github.com/eclipse/jetty.project) from 9.2.3.v20140905 to 9.4.41.v20210516. - [Release notes](https://github.com/eclipse/jetty.project/releases) - [Commits](jetty/jetty.project@jetty-9.2.3.v20140905...jetty-9.4.41.v20210516) --- updated-dependencies: - dependency-name: org.eclipse.jetty:jetty-server dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]>
geneontology · Jun 23, 2021 · e1bbb0d · e1bbb0d
1 parent f5c7d58
commit e1bbb0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -17,7 +17,7 @@
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 		<owlapi.version>4.5.15</owlapi.version>
 		<sesame.version>2.7.12</sesame.version> <!-- use same as Blazegraph  -->
-		<jetty.version>9.2.3.v20140905</jetty.version> <!--  needs to be exactly 9.2.3.v20140905 - older or newer version of jetty will not work with text search api-->
+		<jetty.version>9.4.41.v20210516</jetty.version> <!--  needs to be exactly 9.2.3.v20140905 - older or newer version of jetty will not work with text search api-->
 		<jersey.version>2.29</jersey.version>
 	</properties>