From f9fb9a6d45b3eb15e1541c3193cf93714f84c69e Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 31 Aug 2023 12:43:06 +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] <support@github.com>
---
 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"