From 1145c5ea2e31055388f5f02c6382429a11fd5dd9 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 7 Apr 2004 12:42:37 +0000 Subject: [PATCH] added a missing
tag --- helm/ocaml/getter/http_getter.ml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml index a817f7448..807eecb52 100644 --- a/helm/ocaml/getter/http_getter.ml +++ b/helm/ocaml/getter/http_getter.ml @@ -207,8 +207,10 @@ let getxslt_remote ~patch_dtd uri = not_implemented "getxslt_remote" let getdtd_remote ~patch_dtd uri = not_implemented "getdtd_remote" let clean_cache_remote () = not_implemented "clean_cache_remote" let list_servers_remote () = not_implemented "list_servers_remote" -let add_server_remote ~logger ~position name = not_implemented "add_server_remote" -let remove_server_remote ~logger position = not_implemented "remove_server_remote" +let add_server_remote ~logger ~position name = + not_implemented "add_server_remote" +let remove_server_remote ~logger position = + not_implemented "remove_server_remote" let getalluris_remote () = not_implemented "getalluris_remote" let getallrdfuris_remote () = not_implemented "getallrdfuris_remote" let ls_remote lsuri = not_implemented "ls_remote" @@ -240,7 +242,8 @@ let register_remote ~uri ~url = let update_remote logger () = let answer = ClientHTTP.get (getter_url () ^ "update") in - logger (`T answer) + logger (`T answer); + logger `BR let getxml_remote ~format ~patch_dtd uri = ClientHTTP.get_and_save_to_tmp -- 2.39.2