split into two major parts:

[helm.git] / helm / http_getter / http_getter_common.ml
diff --git a/helm/http_getter/http_getter_common.ml b/helm/http_getter/http_getter_common.ml

index ad549330b0c8dd1ade0d54ea3b448c01f21529cd..6087a467b8feb05c6e66ad9d6ce17d6208158b9d 100644 (file)
--- a/helm/http_getter/http_getter_common.ml
+++ b/helm/http_getter/http_getter_common.ml
@@ -1,5 +1,5 @@
  (*
- * Copyright (C) 2003:
+ * Copyright (C) 2003-2004:
   *    Stefano Zacchiroli <zack@cs.unibo.it>
   *    for the HELM Team http://helm.cs.unibo.it/
   *
@@ -41,22 +41,22 @@ let is_nuprl_uri uri = Pcre.pmatch ~pat:"^nuprl:" uri
  let is_rdf_uri uri = Pcre.pmatch ~pat:"^helm:rdf(.*):(.*)//(.*)" uri
  let is_xsl_uri uri = Pcre.pmatch ~pat:"^\\w+\\.xsl" uri
  
-let rec http_getter_uri_of_string = function
+let rec uri_of_string = function
    | uri when is_rdf_uri uri ->
        (match Pcre.split ~pat:"//" uri with
        | [ prefix; uri ] ->
            let rest =
-            match http_getter_uri_of_string uri with
+            match uri_of_string uri with
              | Cic_uri xmluri -> xmluri
-            | _ -> raise (Http_getter_invalid_URI uri)
+            | _ -> raise (Invalid_URI uri)
            in
            Rdf_uri (prefix, rest)
-      | _ -> raise (Http_getter_invalid_URI uri))
+      | _ -> raise (Invalid_URI uri))
    | uri when is_cic_uri uri -> Cic_uri (Cic (Pcre.replace ~pat:"^cic:" uri))
    | uri when is_nuprl_uri uri -> Nuprl_uri (Pcre.replace ~pat:"^nuprl:" uri)
    | uri when is_theory_uri uri ->
        Cic_uri (Theory (Pcre.replace ~pat:"^theory:" uri))
-  | uri -> raise (Http_getter_invalid_URI uri)
+  | uri -> raise (Invalid_URI uri)
  
  let patch_xml line =
    Pcre.replace
@@ -84,10 +84,10 @@ let patch_dtd line =
      line
  
  let pp_error s =
-  sprintf "<html><body><h1>Http Getter error: %s</h1></body></html>" s
+  sprintf "<html><body>Http Getter error: %s</body></html>" s
  let pp_internal_error s =
-  sprintf "<html><body><h1>Http Getter Internal error: %s</h1></body></html>" s
-let pp_msg s = sprintf "<html><body><h1>%s</h1></body></html>" s
+  sprintf "<html><body>Http Getter Internal error: %s</body></html>" s
+let pp_msg s = sprintf "<html><body>%s</body></html>" s
  let null_pp s = s
  
  let mk_return_fun pp_fun contype msg outchan =