From eccaad18aa815bb3334e205b97c220f675e6d5a5 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 26 May 2008 10:43:31 +0000 Subject: [PATCH] added comment for zack --- helm/software/components/getter/http_getter_wget.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/helm/software/components/getter/http_getter_wget.ml b/helm/software/components/getter/http_getter_wget.ml index 2052e7bd5..90e60b404 100644 --- a/helm/software/components/getter/http_getter_wget.ml +++ b/helm/software/components/getter/http_getter_wget.ml @@ -66,5 +66,7 @@ let exists url = try ignore (Http_user_agent.head url); true - with Http_user_agent.Http_error _ -> false + with + Http_user_agent.Http_error _ -> false + | Not_found -> prerr_endline "An object has metadata but no XML. This is an internal bug of ocaml-http: Zack, please fix it!"; assert false -- 2.39.2