Re: [drmaa-wg] drmaa_job_ps on finished jobs