diff options
Diffstat (limited to 'otherlibs/unix/waitpid.c')
-rw-r--r-- | otherlibs/unix/waitpid.c | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/otherlibs/unix/waitpid.c b/otherlibs/unix/waitpid.c new file mode 100644 index 000000000..9761a3852 --- /dev/null +++ b/otherlibs/unix/waitpid.c @@ -0,0 +1,52 @@ +#include <mlvalues.h> +#include <alloc.h> +#include <memory.h> +#include "unix.h" + +#ifdef HAS_WAITPID + +#include <sys/types.h> +#include <sys/wait.h> + +static int wait_flag_table[] = { + WNOHANG, WUNTRACED +}; + +value unix_waitpid(flags, pid_req) + value flags, pid_req; +{ + int pid, status; + value res; + Push_roots(r, 1); +#define st r[0] + + pid = waitpid(Int_val(pid_req), &status, + convert_flag_list(flags, wait_flag_table)); + if (pid == -1) uerror("waitpid", Nothing); + switch (status & 0xFF) { + case 0: + st = alloc(1, 0); + Field(st, 0) = Val_int((status >> 8) & 0xFF); + break; + case 0177: + st = alloc(1, 2); + Field(st, 0) = Val_int((status >> 8) & 0xFF); + break; + default: + st = alloc(2, 1); + Field(st, 0) = Val_int(status & 0x3F); + Field(st, 1) = status & 0200 ? Val_true : Val_false; + break; + } + res = alloc_tuple(2); + Field(res, 0) = Val_int(pid); + Field(res, 1) = st; + Pop_roots(); + return res; +} + +#else + +value unix_waitpid() { invalid_argument("waitpid not implemented"); } + +#endif |