Re: [galaxy-dev] Possible bug in drmaa and Galaxy?