diff docker/base/Dockerfile @ 83:8dd32aa49614

docker: pid files are put in /tmp to avoid conflict when restarting a container
author Goffi <goffi@goffi.org>
date Thu, 18 Feb 2016 17:19:50 +0100
parents 686a8c982c3f
children 8dc445c967e2
line wrap: on
line diff
--- a/docker/base/Dockerfile	Thu Feb 18 14:43:33 2016 +0100
+++ b/docker/base/Dockerfile	Thu Feb 18 17:19:50 2016 +0100
@@ -70,6 +70,9 @@
 
 # Following scripts make the configuration as automatic and easy as possible
 
+# we want .pid files in /tmp so they are removed if container are deleted
+RUN echo '[DEFAULT]\npid_dir=/tmp' >> /etc/sat.conf
+
 # we auto-create libervia account if it doesn't exists in Libervia container
 # so we remove it from reserved_list in plugin account
 RUN echo '[plugin account]\nreserved_list=' >> /etc/sat.conf