X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_misc.ml;h=45403effa51cfb5ef5f15aeddd35b2c6b0677649;hb=ed308fc03be5397081ac0e00bbc73b3f71da1e67;hp=85b87cb93438c1c097076bd1bf602c1fb3db8f27;hpb=a3fb06e72407e3590fa60a74ac5fec01e6bfe1f9;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_misc.ml b/helm/ocaml/getter/http_getter_misc.ml
index 85b87cb93..45403effa 100644
--- a/helm/ocaml/getter/http_getter_misc.ml
+++ b/helm/ocaml/getter/http_getter_misc.ml
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf
 
 let file_scheme_prefix = "file://"
@@ -305,3 +307,9 @@ let temp_file_of_uri uri =
   let user = try Unix.getlogin () with _ -> "" in
   Filename.open_temp_file (user ^ flat_string uri ".-=:;!?/&" '_') ""
 
+let backtick cmd =
+  let ic = Unix.open_process_in cmd in
+  let res = input_line ic in
+  ignore (Unix.close_process_in ic);
+  res
+