Re: [galaxy-dev] Specifying number of requested cores to Galaxy DRMAA