[galaxyproject/galaxy] 18221a: paster.pid/log to galaxy.pid/log reference update
Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: 18221ae931b22187a5978bd89222a8e84ed400f0 https://github.com/galaxyproject/galaxy/commit/18221ae931b22187a5978bd89222a... Author: Nicola Soranzo <nicola.soranzo@earlham.ac.uk> Date: 2017-12-15 (Fri, 15 Dec 2017) Changed paths: M .ci/first_startup.sh M contrib/galaxy.fedora-init M doc/source/admin/production.md M scripts/summarize_timings.py Log Message: ----------- paster.pid/log to galaxy.pid/log reference update Fix errors in `first_startup` jobs: https://travis-ci.org/galaxyproject/galaxy/jobs/316342622#L1029 Introduced in https://github.com/galaxyproject/galaxy/pull/4475 Commit: 7e7dc249ab93e66e405abf830782bcf78c0788c5 https://github.com/galaxyproject/galaxy/commit/7e7dc249ab93e66e405abf830782b... Author: John Chilton <jmchilton@gmail.com> Date: 2017-12-15 (Fri, 15 Dec 2017) Changed paths: M .ci/first_startup.sh M contrib/galaxy.fedora-init M doc/source/admin/production.md M scripts/summarize_timings.py Log Message: ----------- Merge pull request #5226 from nsoranzo/fix_paster.log_pid paster.pid/log to galaxy.pid/log reference update Compare: https://github.com/galaxyproject/galaxy/compare/5b6eaac4a06c...7e7dc249ab93
participants (1)
-
GitHub