From 6354cdaf8388e22d051cebb08928fa940c7610a5 Mon Sep 17 00:00:00 2001 From: Basile Starynkevitch Date: Wed, 25 Feb 2004 12:43:16 +0000 Subject: [PATCH] the execve functions return 'a git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- otherlibs/unix/unixLabels.mli | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/otherlibs/unix/unixLabels.mli b/otherlibs/unix/unixLabels.mli index 536df710c757..9cf0fe7e9070 100644 --- a/otherlibs/unix/unixLabels.mli +++ b/otherlibs/unix/unixLabels.mli @@ -156,19 +156,22 @@ type wait_flag = (** Flags for {!UnixLabels.waitpid}. *) -val execv : prog:string -> args:string array -> unit +val execv : prog:string -> args:string array -> 'a (** [execv prog args] execute the program in file [prog], with - the arguments [args], and the current process environment. *) + the arguments [args], and the current process environment. + These [execv*] functions never return: on success, the current + program is replaced by the new one; + on failure, a {!UnixLabels.Unix_error} exception is raised. *) -val execve : prog:string -> args:string array -> env:string array -> unit +val execve : prog:string -> args:string array -> env:string array -> 'a (** Same as {!UnixLabels.execv}, except that the third argument provides the environment to the program executed. *) -val execvp : prog:string -> args:string array -> unit +val execvp : prog:string -> args:string array -> 'a (** Same as {!UnixLabels.execv} respectively, except that the program is searched in the path. *) -val execvpe : prog:string -> args:string array -> env:string array -> unit +val execvpe : prog:string -> args:string array -> env:string array -> 'a (** Same as {!UnixLabels.execvp} respectively, except that the program is searched in the path. *)