On 25/04/2016 18:51, David Matthews wrote:
I think it might be worth tightening up the code a little; currently "status" is not initialised but it ought to be valid if "wait" returns a non-zero value. Otherwise I can't really see what to do about this.
Yes, it seems that the "status" value is converted into a Posix.Process.exit_status value before the check is made that "pid" is zero. That can result in the exception being raised. I've committed a fix. This is probably another one for the fixes branch.
David _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
