[galaxy-dev] How to restart the Galaxy process