# HG changeset patch # User David Scott # Date 1261409811 0 # Node ID 77cde7898d0423d01b3ec4e074faa6c48c8c2cef # Parent 65c971f2b0871ac424a11b3ab1889d45ddeb18f9 CA-33440: remove some unused arguments from execute_command_get_output Signed-off-by: David Scott diff -r 65c971f2b087 -r 77cde7898d04 stdext/forkhelpers.ml --- a/stdext/forkhelpers.ml Mon Dec 21 15:36:50 2009 +0000 +++ b/stdext/forkhelpers.ml Mon Dec 21 15:36:51 2009 +0000 @@ -152,7 +152,7 @@ close_fds -let execute_command_get_output ?(cb_set=(fun _ -> ())) ?(cb_clear=(fun () -> ())) cmd args = +let execute_command_get_output cmd args = match with_logfile_fd "execute_command_get_out" (fun out_fd -> with_logfile_fd "execute_command_get_err" (fun err_fd -> let (sock,pid) = safe_close_and_exec None (Some out_fd) (Some err_fd) [] cmd args in diff -r 65c971f2b087 -r 77cde7898d04 stdext/forkhelpers.mli --- a/stdext/forkhelpers.mli Mon Dec 21 15:36:50 2009 +0000 +++ b/stdext/forkhelpers.mli Mon Dec 21 15:36:51 2009 +0000 @@ -17,7 +17,7 @@ (** [execute_command_get_output cmd args] runs [cmd args] and returns (stdout, stderr) on success (exit 0). On failure this raises [Spawn_internal_error(stderr, stdout, Unix.process_status)] *) -val execute_command_get_output : ?cb_set:(int -> unit) -> ?cb_clear:(unit -> unit) -> string -> string list -> string * string +val execute_command_get_output : string -> string list -> string * string (** Thrown by [execute_command_get_output] if the subprocess exits with a non-zero exit code *) exception Spawn_internal_error of string * string * Unix.process_status