diff options
| author | Francois Rouaix <francois.rouaix@gmail.com> | 1995-09-28 17:36:07 +0000 |
|---|---|---|
| committer | Francois Rouaix <francois.rouaix@gmail.com> | 1995-09-28 17:36:07 +0000 |
| commit | 0dca8a76eb89f0e8f5e40026b4d8e27ec8771b90 (patch) | |
| tree | 6ce9c2efd6bc385d096a40ad21860788bec9dcec /otherlibs/unix | |
| parent | 5de90d7cded5aca521d3afa1a393bebab8ff528f (diff) | |
Doc de waitpid
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/unix/unix.mli | 7 |
2 files changed, 6 insertions, 3 deletions
diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile index 18b7fd4c5..98ef618b0 100644 --- a/otherlibs/unix/Makefile +++ b/otherlibs/unix/Makefile @@ -19,7 +19,7 @@ OBJS=accept.o access.o addrofstr.o alarm.o bind.o chdir.o chmod.o \ readdir.o readlink.o rename.o rewinddir.o rmdir.o select.o sendrecv.o \ setgid.o setuid.o shutdown.o sleep.o socket.o socketaddr.o \ socketpair.o stat.o strofaddr.o symlink.o termios.o time.o times.o \ - truncate.o umask.o unix.o unlink.o utimes.o wait.o waitpid.o \ + truncate.o umask.o unix.o unlink.o utimes.o wait.o waitopt.o waitpid.o \ write.o INTF= unix.cmi diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index 3b48a8d41..b1a866f7a 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -158,8 +158,11 @@ external wait : unit -> int * process_status = "unix_wait" and termination status. *) external waitpid : wait_flag list -> int -> int * process_status = "unix_waitpid" - (* Same as [waitopt], but waits for the process whose pid is given. - Negative pid arguments represent process groups. *) + (* Same as [wait], but waits for the process whose pid is given. + A pid of [0] means wait for any child. + Negative pid arguments represent process groups. + The list of options indicates whether [waitpid] should return + immediately without waiting, or also report stopped children. *) val system : string -> process_status (* Execute the given command, wait until it terminates, and return its termination status. The string is interpreted by the shell |