[quickjs-devel] Re: waitpid status

  • From: Fabrice Bellard <fabrice@xxxxxxxxxxx>
  • To: quickjs-devel@xxxxxxxxxxxxx
  • Date: Thu, 21 May 2020 11:27:44 +0200

I prefer to keep the same format as the system call because it is well documented. It seems that python does it too is os.waitpid.

Best regards,

Fabrice.

On 05/13/2020 01:14 AM, Alex Protasenko wrote:

Hi all,


Would it make more sense if the status returned by the call:

[pid, status] = os.waitpid(...);

would actually match the value passed to std.exit(status) by the child process?

Currently it returns the verbatim status returned by system's waitpid which includes extra information such as reason for exiting, signal number etc. It would be nice if this additional information could be added to the returned array in the parsed form, or at least the status would match the child process' return value.


Thanks

Alex




Other related posts: