X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter.ml;h=807eecb5299df03d7f4611b7cf4c7f0e4781cfac;hb=1145c5ea2e31055388f5f02c6382429a11fd5dd9;hp=a817f7448d52a6baa35241bb91246c41f9b71bfb;hpb=43c726af72786e33196be859936e393ba69c9ae0;p=helm.git 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