Skip to main content

Browse the archive

Revision f722e122f723ec37b95aa669a1f60f53260e0f71 authored by Matthias Bernt on 08 June 2023, 13:54:28 UTC, committed by Matthias Bernt on 08 June 2023, 13:54:28 UTC 
Create version 23.0.1
1 parent 1ee21e3
Raw File
rolling_restart.sh 
#!/bin/sh

cd `dirname $0`

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