From 298111deca0e953b67f8ed0fea03deb9e0dc59d1 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 21 Oct 2004 13:20:11 +0000
Subject: [PATCH] use latest Http_getter module API

---
 helm/http_getter/main.ml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

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 "<url value=\"%s\" />\n" (Http_getter.resolve uri))
       outchan
-  with Unresolvable_URI uri ->
-    return_xml_raw "<unresolved />\n" outchan
+  with
+  | Unresolvable_URI _ -> return_xml_raw "<unresolvable />\n" outchan
+  | Key_not_found _ -> return_xml_raw "<not_found />\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
-- 
2.39.2