diff docker/salut/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 b69056368901
line wrap: on
line diff
--- a/docker/salut/Dockerfile	Thu Feb 18 14:43:33 2016 +0100
+++ b/docker/salut/Dockerfile	Thu Feb 18 17:19:50 2016 +0100
@@ -26,7 +26,7 @@
 for var in ("DOMAIN", "SAT_SALUT_SECRET"):\n\
     os.environ[var] = proxy.getenv(var)\n\
 os.environ["PYTHONPATH"] = SALUT_PATH\n\
-os.execlp("twistd", "twistd", "-ny", SALUT_PATH+"salut.tac")\n\
+os.execlp("twistd", "twistd", "-ny", SALUT_PATH+"salut.tac", "--pidfile", "/tmp/salut.pid")\n\
 ' > /usr/local/bin/salut && chmod 0555 /usr/local/bin/salut
 
 WORKDIR /usr/share