diff options
Diffstat (limited to 'otherlibs/labltk/jpf/shell.ml')
| -rw-r--r-- | otherlibs/labltk/jpf/shell.ml | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/otherlibs/labltk/jpf/shell.ml b/otherlibs/labltk/jpf/shell.ml deleted file mode 100644 index 485a0d8741..0000000000 --- a/otherlibs/labltk/jpf/shell.ml +++ /dev/null @@ -1,36 +0,0 @@ -(***********************************************************************) -(* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) -(* *) -(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) -(* projet Cristal, INRIA Rocquencourt *) -(* Jacques Garrigue, Kyoto University RIMS *) -(* *) -(* Copyright 2002 Institut National de Recherche en Informatique et *) -(* en Automatique and Kyoto University. All rights reserved. *) -(* This file is distributed under the terms of the GNU Library *) -(* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) -(* *) -(***********************************************************************) -open Unix - -(************************************************************* Subshell call *) - -let subshell cmd = - let r,w = pipe () in - match fork () with - 0 -> close r; dup2 w stdout; - close stderr; - execv "/bin/sh" [| "/bin/sh"; "-c"; cmd |]; exit 127 - | id -> - close w; - let rc = in_channel_of_descr r in - let rec it () = try - let x = input_line rc in x:: it () - with _ -> [] - in - let answer = it() in - close_in rc; (* because of finalize_channel *) - let p, st = waitpid [] id in answer - |