From 61f8b47215afadf6da169491abe0b60e16fd1900 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 28 Aug 2023 09:13:34 +0000 Subject: [PATCH] build(deps): bump tomcat in /remoting/src/main/docker Bumps tomcat from 9-jre11-temurin to 10-jre11-temurin. --- updated-dependencies: - dependency-name: tomcat dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- remoting/src/main/docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/remoting/src/main/docker/Dockerfile b/remoting/src/main/docker/Dockerfile index 5947ea64..3d510c16 100644 --- a/remoting/src/main/docker/Dockerfile +++ b/remoting/src/main/docker/Dockerfile @@ -47,7 +47,7 @@ RUN mv /opt/lib/spring-web-5.3.28.jar . && \ # Runtime Container: Currently based on Tomcat 9 (and the "old" Java Servlet API until RDF4J upgrades) ## -FROM tomcat:9-jre11-temurin +FROM tomcat:10-jre11-temurin ENV JAVA_OPTS="-Xmx2g" ENV CATALINA_OPTS="-Dorg.eclipse.rdf4j.appdata.basedir=/var/rdf4j"