Re: [galaxy-dev] DRMAA bug in galaxy-central