Andrea Dell'Amico d9052c3e65 Remove the redirections to the 8443 port from the tomcat server.xml templates. We do not configure ssl on tomcat directly, we use a reverse proxy.		2017-12-01 18:34:08 +01:00
..
defaults	tomcat defaults: fix a typo.	2017-11-22 17:49:26 +01:00
files	library/roles/dnet_user_services_perms: Manage more directories. Logs in /var/log/dnet	2015-07-16 13:25:02 +02:00
handlers	library/roles/tomcat, library/roles/tomcat-multiple-instances: Fix other ansible 2 incompatibilities.	2016-03-02 15:19:25 +01:00
tasks	Change the tomcat roles so that we are now able to change the default temporary directory.	2017-09-15 12:44:48 +02:00
templates	Remove the redirections to the 8443 port from the tomcat server.xml templates. We do not configure ssl on tomcat directly, we use a reverse proxy.	2017-12-01 18:34:08 +01:00