From 4979c3aa331b5c09d9aad4c0ae10589b2c17619e Mon Sep 17 00:00:00 2001
From: Adam Hunter <ahunter@ccg.murdoch.edu.au>
Date: Sun, 17 Jan 2016 22:50:38 +0800
Subject: [PATCH] use exec for proper signal handling

---
 docker-entrypoint.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docker-entrypoint.sh b/docker-entrypoint.sh
index 6060285..c1b8cc2 100644
--- a/docker-entrypoint.sh
+++ b/docker-entrypoint.sh
@@ -30,8 +30,7 @@ if [ "$1" = 'devpi' ]; then
     fi
 
     echo "[RUN]: Launching devpi-server"
-    devpi-server --restrict-modify root --host 0.0.0.0 --port 3141 2>&1 | tee /data/server/devpi.log
-    exit $?
+    exec devpi-server --restrict-modify root --host 0.0.0.0 --port 3141
 fi
 
 echo "[RUN]: Builtin command not provided [devpi]"