ZhouXY108
/
wisemapping-open-source
mirror of https://github.com/wisemapping/wisemapping-open-source.git
1
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update to tomcat 10.1.7

main
Paulo Gustavo Veiga 2023-04-01 17:56:18 -07:00
parent df72b64e1b
commit 198038f110
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
distribution/Dockerfile
View File

@ -2,7 +2,7 @@
# Based on ubuntu:latest, installs WiseMapping (http://ww.wisemapping.org) # Based on ubuntu:latest, installs WiseMapping (http://ww.wisemapping.org)
# Based info setup ... # Based info setup ...
FROM tomcat:9.0.71-jdk17 FROM tomcat:10.1.7-jdk17
LABEL maintainer="Paulo Gustavo Veiga <pveiga@wisemapping.com>" LABEL maintainer="Paulo Gustavo Veiga <pveiga@wisemapping.com>"
# Build variables ... # Build variables ...