Andrea Dell'Amico 3fbece53d6 thredds: install the configuration files only at initialization time (or when a specific file does not exist). Needed because the same file will be changed programmatically.		2017-12-06 18:24:11 +01:00
..
defaults	thredds: fix a wrong path. Restart tomcat when the configuration files change.	2017-09-06 12:37:39 +02:00
tasks	thredds: install the configuration files only at initialization time (or when a specific file does not exist). Needed because the same file will be changed programmatically.	2017-12-06 18:24:11 +01:00
templates	Fixes to the thredds role. Add two templates for the main configuration files.	2017-09-05 17:40:52 +02:00