Branch: refs/heads/release_18.09 Home: https://github.com/galaxyproject/galaxy Commit: fbd2284e5d355e8698360b5744538eb5f0a693ab https://github.com/galaxyproject/galaxy/commit/fbd2284e5d355e8698360b5744538... Author: Nicola Soranzo nicola.soranzo@earlham.ac.uk Date: 2018-11-15 (Thu, 15 Nov 2018)

Changed paths: M run.sh M run_reports.sh M run_tool_shed.sh M scripts/common_startup_functions.sh

Log Message: ----------- Fix PID file handling for gunicorn

gunicorn uses `--pid`, not `--pid-file`.

Commit: a1277b0e43b24594e25cc612ad844b501c7fb39b https://github.com/galaxyproject/galaxy/commit/a1277b0e43b24594e25cc612ad844... Author: John Chilton jmchilton@gmail.com Date: 2018-11-15 (Thu, 15 Nov 2018)

Changed paths: M run.sh M run_reports.sh M run_tool_shed.sh M scripts/common_startup_functions.sh

Log Message: ----------- Merge pull request #7013 from nsoranzo/release_18.09_fix_gunicorn_pid

[18.09] Fix PID file handling for gunicorn

Compare: https://github.com/galaxyproject/galaxy/compare/f85afad9655b...a1277b0e43b2 **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

Functionality will be removed from GitHub.com on January 31st, 2019.