ansible-roles/thredds
Andrea Dell'Amico 477d48cee2 thredds: fix a wrong path. Restart tomcat when the configuration files change. 2017-09-06 12:37:39 +02:00
..
defaults thredds: fix a wrong path. Restart tomcat when the configuration files change. 2017-09-06 12:37:39 +02:00
tasks thredds: fix a wrong path. Restart tomcat when the configuration files change. 2017-09-06 12:37:39 +02:00
templates Fixes to the thredds role. Add two templates for the main configuration files. 2017-09-05 17:40:52 +02:00