Re: [galaxy-dev] Galaxy tools' priority level (nice)