From 283ebe50ae639bd574df96a0d87c5f74afc5a9e8 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 6 Jul 2005 15:49:45 +0000 Subject: [PATCH] no longer uses Shell library --- helm/ocaml/getter/http_getter_env.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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 -- 2.39.2