Skip to main content

Browse the archive

Revision 6df30d6cdf4eeb0bdcda563e4122e2d2b31a61e7 authored by Nicola Soranzo on 02 November 2022, 14:57:01 UTC, committed by Nicola Soranzo on 02 November 2022, 14:57:01 UTC 
Merge branch 'release_20.01' into release_20.05
2 parent s a99bea6 + ae59839
Raw File
rolling_restart.sh 
#!/bin/sh

cd `dirname $0`

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