|
Packit |
bd2e5d |
(***********************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* MLTk, Tcl/Tk interface of OCaml *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *)
|
|
Packit |
bd2e5d |
(* projet Cristal, INRIA Rocquencourt *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 2002 Institut National de Recherche en Informatique et *)
|
|
Packit |
bd2e5d |
(* en Automatique and Kyoto University. All rights reserved. *)
|
|
Packit |
bd2e5d |
(* This file is distributed under the terms of the GNU Library *)
|
|
Packit |
bd2e5d |
(* General Public License, with the special exception on linking *)
|
|
Packit |
bd2e5d |
(* described in file LICENSE found in the OCaml source tree. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(***********************************************************************)
|
|
Packit |
bd2e5d |
open Unix
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(************************************************************* Subshell call *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let subshell cmd =
|
|
Packit |
bd2e5d |
let r,w = pipe () in
|
|
Packit |
bd2e5d |
match fork () with
|
|
Packit |
bd2e5d |
0 -> close r; dup2 w stdout;
|
|
Packit |
bd2e5d |
close stderr;
|
|
Packit |
bd2e5d |
execv "/bin/sh" [| "/bin/sh"; "-c"; cmd |]
|
|
Packit |
bd2e5d |
| id ->
|
|
Packit |
bd2e5d |
close w;
|
|
Packit |
bd2e5d |
let rc = in_channel_of_descr r in
|
|
Packit |
bd2e5d |
let rec it () = try
|
|
Packit |
bd2e5d |
let x = input_line rc in x:: it ()
|
|
Packit |
bd2e5d |
with _ -> []
|
|
Packit |
bd2e5d |
in
|
|
Packit |
bd2e5d |
let answer = it() in
|
|
Packit |
bd2e5d |
close_in rc; (* because of finalize_channel *)
|
|
Packit |
bd2e5d |
let _ = waitpid [] id in answer
|