Re: [galaxy-dev] How to restart the Galaxy process