Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: e61e596d88e4cc8f7cd41d2a2a678d5a3dffd72d https://github.com/galaxyproject/galaxy/commit/e61e596d88e4cc8f7cd41d2a2a678... Author: Remi Marenco <remi.marenco@gmail.com> Date: 2016-03-11 (Fri, 11 Mar 2016) Changed paths: M run.sh Log Message: ----------- Modify run.sh to add --restart option, for a more consisten use of parameters Commit: 5d633ab5999bbb59fb217185f9ff524df3445166 https://github.com/galaxyproject/galaxy/commit/5d633ab5999bbb59fb217185f9ff5... Author: Martin Cech <cech.marten@gmail.com> Date: 2016-03-12 (Sat, 12 Mar 2016) Changed paths: M run.sh Log Message: ----------- Merge pull request #1914 from remimarenco/run_restart_modification Modify run.sh to add --restart option, for a more consistent use of pa… Compare: https://github.com/galaxyproject/galaxy/compare/957a8ff885dc...5d633ab5999b