Re: [DRMAA-WG] Some thoughts on drmaa_wifaborted vs. DRMAA spec