Branch: refs/heads/dev 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 Commit: eaacc5bc9f351b8a01281ffa3462e1c653db3826 https://github.com/galaxyproject/galaxy/commit/eaacc5bc9f351b8a01281ffa3462e... 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: ----------- Merge branch 'release_18.09' into dev Compare: https://github.com/galaxyproject/galaxy/compare/d88f2b63daa9...eaacc5bc9f35 **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.