diff options
Diffstat (limited to 'otherlibs/unix/wait.c')
-rw-r--r-- | otherlibs/unix/wait.c | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c new file mode 100644 index 000000000..1f41da9f3 --- /dev/null +++ b/otherlibs/unix/wait.c @@ -0,0 +1,35 @@ +#include <mlvalues.h> +#include <alloc.h> +#include <memory.h> +#include "unix.h" + +value unix_wait() /* ML */ +{ + value res; + int pid, status; + Push_roots(r, 1); +#define st r[0] + pid = wait(&status); + if (pid == -1) uerror("wait", 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; +} + |