Use exec in CMD to ensure we can properly kill PID1

2015-10-22 19:51:22 +02:00
parent 9d08f5184e
commit dd1dc70d83
1 changed files with 1 additions and 1 deletions
--- a/core/Dockerfile
+++ b/core/Dockerfile
@@ -95,4 +95,4 @@ VOLUME ["/vmail"]

 EXPOSE 25 143 587 4190

-CMD /boot; /usr/bin/supervisord -n
+CMD /boot && exec /usr/bin/supervisord -n