Re: [galaxy-dev] Make Galaxy use multiple processors