https://github.com/galaxyproject/galaxy
Raw File
Tip revision: 61e6fd11424a9036573db2bf3ef9a8bee9d6b19a authored by Nicola Soranzo on 12 December 2019, 17:43:26 UTC
Merge branch 'release_16.10' into release_17.01
Tip revision: 61e6fd1
rolling_restart.sh
#!/bin/sh

cd `dirname $0`

GALAXY_RUN_ALL=1 ./run.sh restart --wait
back to top