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.
galaxy-commits@lists.galaxyproject.org