Currently we have
9 3 tools running tomcat webservices. In the long term we'd like to not be responsible for maintaining tomcat - need to find an alternative that works for all these tools. Ideally they'd use an embedded HTTP server like Jetty (for new users) and for older ones we find a equivalent that can work.
Running tomcat job list as of 2021-05-24T18:13Z based on https://sge-status.toolforge.org/ and the "tomcat-..." naming convention: