Re: [galaxy-dev] adding tools to galaxy - restart galaxy