[galaxy-dev] restarting galaxy while tools/jobs are running