From 8cdabf1424e99c55d9a490d7737e7e7797e9d978 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 23 Sep 2005 12:47:38 +0000 Subject: [PATCH] a wrong exception was raised --- helm/ocaml/getter/http_getter.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml index 7695159ee..53f4951c7 100644 --- a/helm/ocaml/getter/http_getter.ml +++ b/helm/ocaml/getter/http_getter.ml @@ -163,7 +163,7 @@ let getxml uri = Http_getter_storage.filename (uri' ^ xml_suffix) with Http_getter_storage.Resource_not_found _ as exn -> if uri <> uri' then Http_getter_storage.filename (uri ^ xml_suffix) - else raise exn + else raise (Key_not_found uri) with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri)) end -- 2.39.2