[galaxy-dev] Restart Galaxy without interruption