Vincent Latombe bb8f8c9ad0 Upgrade plugins if needed (#306) ... Each plugin installed through the docker image is now tracked using a marker file containing the version that was installed through the image. If later, the container is started from a docker image containing newer plugins, existing plugins will be upgraded if they haven't been upgraded in the mean time and if the new docker image provides a new version of them. Add tests to check that plugins are upgrade properly		2016-07-13 18:18:14 +02:00
..
Dockerfile	Upgrade plugins if needed (#306)	2016-07-13 18:18:14 +02:00