Skip to content

Commit

Permalink
PR #376 Partial fix for #372: faster shutdown of ghc_web Docker conta…
Browse files Browse the repository at this point in the history
…iner
  • Loading branch information
fsteggink committed Jul 19, 2021
1 parent 1f7717e commit 6151140
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docker/scripts/run-web.sh
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ paver upgrade
[ "${SCRIPT_NAME}" = '/' ] && export SCRIPT_NAME="" && echo "make SCRIPT_NAME empty from /"

echo "Running GHC WSGI on ${HOST}:${PORT} with ${WSGI_WORKERS} workers and SCRIPT_NAME=${SCRIPT_NAME}"
gunicorn --workers ${WSGI_WORKERS} \
exec gunicorn --workers ${WSGI_WORKERS} \
--worker-class=${WSGI_WORKER_CLASS} \
--timeout ${WSGI_WORKER_TIMEOUT} \
--name="Gunicorn_GHC" \
Expand Down

0 comments on commit 6151140

Please sign in to comment.