From dd1dc70d834176bc8b517b653d15d57d3eb120ae Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Thu, 22 Oct 2015 19:51:22 +0200
Subject: [PATCH] Use exec in CMD to ensure we can properly kill PID1

---
 core/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/Dockerfile b/core/Dockerfile
index c74716b..de6792e 100644
--- 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