Francesco Borzì 0e87deb416 Several improvements to Docker: ... - ability to reload configuration files without building again the images - faster images building - corrected a mistake - logs are saved to the main host		2019-01-13 02:38:04 +01:00
..
.gitkeep	Several improvements to Docker:	2019-01-13 02:38:04 +01:00
authserver.conf.dist	Several improvements to Docker:	2019-01-13 02:38:04 +01:00
authserver.conf.dockerdist	Several improvements to Docker:	2019-01-13 02:38:04 +01:00