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

Revert "Update to tomcat 10.1.7" 

This reverts commit 198038f110.
main
Paulo Gustavo Veiga 2023-04-01 18:03:04 -07:00
parent 198038f110
commit c2bec7ca4a
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:10.1.7-jdk17 FROM tomcat:9.0.71-jdk17
LABEL maintainer="Paulo Gustavo Veiga <pveiga@wisemapping.com>" LABEL maintainer="Paulo Gustavo Veiga <pveiga@wisemapping.com>"
# Build variables ... # Build variables ...