9 Commits

Author	SHA1	Message	Date
Abtin Gramian	d53fb43ac4	Bump docker parent image versions to target Java 11	2020-07-21 22:42:05 +02:00
David Ducatel	5dd56095ba	Add new docker images ... Add tomcat container, jetty tag and self-builded docker file	2017-04-28 10:53:11 +02:00
arnaudroques	0adfcb1f5f	Merge branch 'master' into master	2017-04-27 08:39:51 +02:00
Ducatel David	e43ffa1b43	Add dependency for asiatics font	2017-04-26 22:32:53 +02:00
Clément Moyroud	163863ac0b	Allow running on the Openshift platform ... A few changes are necessary for the best out-of-the-box experience on Docker-based application platforms such as OpenShift: 1. For security purposes, they run the containers as non-root. Before this change, the user was trying to write to the home dir, which is set to /root by default. 2. Deploy time is limited, and the download of dependencies by Jetty at start-up time, while convenient for testing, causes timeouts when deploying. a WAR is now created during Docker image creation, and as a result starting up the container is really fast now. In addition, it is now possible to enable debug logging for Jetty by uncommenting the relevant line in the Dockerfile.	2017-04-25 16:18:11 -07:00
Ducatel David	2278fb7309	Update docker file to use war builded by travis	2017-04-25 14:53:23 +02:00
Arnaud Roques	4c320c39c2	Restore Added support for running docker behind firewall	2017-04-21 22:53:01 +02:00
Ondrej Esler	17522de1ee	add missing graphviz	2017-03-07 16:10:36 +01:00
Mendor	39c8589c52	Add simple Dockerfile	2017-01-26 09:32:35 +02:00