Re: [galaxy-dev] [galaxy-user] Advice on disabling SGE queue on galaxy-cloudman