This PR only prepends exec before the gunicorn command, resulting in the ghc_web Docker container being shut down much faster. No solution for the ghc_runner container though. Putting exec before the paver command doesn't have any affect, and neither has using exec somewhere inside runner_daemon in pavement.sh.
This PR only prepends
exec
before thegunicorn
command, resulting in the ghc_web Docker container being shut down much faster. No solution for the ghc_runner container though. Puttingexec
before thepaver
command doesn't have any affect, and neither has usingexec
somewhere insiderunner_daemon
in pavement.sh.