Blame jpf/shell.ml

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