Browse Source

use exec for proper signal handling

master
Adam Hunter 10 years ago
parent
commit
4979c3aa33
  1. 3
      docker-entrypoint.sh

3
docker-entrypoint.sh

@ -30,8 +30,7 @@ if [ "$1" = 'devpi' ]; then
fi fi
echo "[RUN]: Launching devpi-server" 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 fi
echo "[RUN]: Builtin command not provided [devpi]" echo "[RUN]: Builtin command not provided [devpi]"

Loading…
Cancel
Save