From ad6a6afd220c3e0417614e40493c8ba191d05842 Mon Sep 17 00:00:00 2001
From: Christian Heimes <christian@python.org>
Date: Fri, 16 Oct 2015 21:20:30 +0200
Subject: exec to get pid 1

---
 push.sh | 1 +
 run.sh  | 3 +--
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/push.sh b/push.sh
index a483beb..c718e34 100755
--- a/push.sh
+++ b/push.sh
@@ -8,6 +8,7 @@ if [ ! -d custodia ]; then
 fi
 
 pushd custodia > /dev/null
+git fetch --all
 git pull --rebase
 popd > /dev/null
 
diff --git a/run.sh b/run.sh
index 1fbb20a..282bae8 100755
--- a/run.sh
+++ b/run.sh
@@ -2,6 +2,5 @@
 DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 
 export PYTHONPATH=$DIR/custodia
-$DIR/custodia/custodia/custodia /custodia-data/custodia.conf
-exit $?
+exec $DIR/custodia/custodia/custodia /custodia-data/custodia.conf
 
-- 
cgit