Re: [galaxy-dev] recovery: galaxy restart