From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 6 Jul 2005 15:49:45 +0000 (+0000)
Subject: no longer uses Shell library
X-Git-Tag: V_0_7_1~47
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=283ebe50ae639bd574df96a0d87c5f74afc5a9e8;p=helm.git

no longer uses Shell library
---

diff --git a/helm/ocaml/getter/http_getter_env.ml b/helm/ocaml/getter/http_getter_env.ml
index 74e32c22f..c12709dcc 100644
--- a/helm/ocaml/getter/http_getter_env.ml
+++ b/helm/ocaml/getter/http_getter_env.ml
@@ -62,11 +62,7 @@ let prefixes = lazy (
         acc)
     [] prefixes)
 
-let host =
-  lazy
-    (let buf = Buffer.create 20 in
-    Shell.call ~stdout:(Shell.to_buffer buf) [Shell.cmd "hostname" ["-f"]];
-    Pcre.replace ~pat:"\n+$" (Buffer.contents buf))
+let host = lazy (Http_getter_misc.backtick "hostname -f")
 
 let my_own_url =
   lazy