X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fmain.ml;fp=helm%2Fhttp_getter%2Fmain.ml;h=47784d137ba4ba51d84b43bf747b14fd124177b8;hb=298111deca0e953b67f8ed0fea03deb9e0dc59d1;hp=44c69610e1d4e0ffffcef79d3c332988e127ed8f;hpb=ae1f66ceadc14c7d0824bb375c5af175b15f083c;p=helm.git
diff --git a/helm/http_getter/main.ml b/helm/http_getter/main.ml
index 44c69610e..47784d137 100644
--- a/helm/http_getter/main.ml
+++ b/helm/http_getter/main.ml
@@ -194,8 +194,9 @@ let return_resolve uri outchan =
return_xml_raw
(sprintf "\n" (Http_getter.resolve uri))
outchan
- with Unresolvable_URI uri ->
- return_xml_raw "\n" outchan
+ with
+ | Unresolvable_URI _ -> return_xml_raw "\n" outchan
+ | Key_not_found _ -> return_xml_raw "\n" outchan
let return_list_servers outchan =
return_html_raw
@@ -254,6 +255,9 @@ let callback (req: Http_types.request) outchan =
| "/register" ->
Http_getter.register ~uri:(req#param "uri") ~url:(req#param "url");
return_html_msg "Register done" outchan
+ | "/unregister" ->
+ Http_getter.unregister (req#param "uri");
+ return_html_msg "Unregister done" outchan
| "/clean_cache" ->
Http_getter.clean_cache ();
return_html_msg "Done." outchan