Jetty: Switch from jetty to tomcat jar for servlet-api

to get the 4.0 dtds
Put servlet version on the logs page
This commit is contained in:
zzz
2020-06-07 16:22:21 +00:00
parent 220f641ba6
commit 2af7066074
6 changed files with 7 additions and 1 deletions

Binary file not shown.