Re: [DRMAA-WG] TERMINATED vs. FAILED - reloaded