]> matita.cs.unibo.it Git - helm.git/commitdiff
Added parameter format=text|xml to getalluris.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 10:05:03 +0000 (10:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 10:05:03 +0000 (10:05 +0000)
helm/http_getter/main.ml
helm/ocaml/getter/http_getter_const.ml

index 7722a2cdce135626a1d883a8e0c0d62deaf8e7d2..eafbc06e6e571c44c75650668dc7d58c9c0fcd04 100644 (file)
@@ -64,11 +64,11 @@ let parse_patch (req: Http_types.request) =
   with Http_types.Param_not_found _ -> true
 
   (* parse output format ("format" parameter), no default value *)
-let parse_output_format (req: Http_types.request) =
+let parse_output_format meth (req: Http_types.request) =
   match req#param "format" with
   | s when String.lowercase s = "txt" -> Fmt_text
   | s when String.lowercase s = "xml" -> Fmt_xml
-  | s -> raise (Bad_request ("Invalid /ls format: " ^ s))
+  | s -> raise (Bad_request ("Invalid /" ^ meth ^ " format: " ^ s))
 
   (* parse "baseuri" format for /ls method, no default value *)
 let parse_ls_uri =
@@ -132,8 +132,19 @@ let return_all_foo_uris doctype uris outchan =
     uris;
   output_string outchan (sprintf "</%s>\n" doctype)
 
-let return_all_xml_uris outchan =
-  return_all_foo_uris "alluris" (Http_getter.getalluris ()) outchan
+let return_all_xml_uris fmt outchan =
+ let uris = Http_getter.getalluris () in
+  match fmt with
+   | Fmt_text ->
+      let buf = Buffer.create 10240 in
+       List.iter (bprintf buf "%s\n") uris ;
+       let body = Buffer.contents buf in
+       Http_daemon.respond
+         ~headers:(("Content-Type", "text/plain") :: common_headers)
+         ~body outchan
+   | Fmt_xml ->
+      return_all_foo_uris "alluris" uris outchan
+  
 let return_all_rdf_uris classs outchan =
   return_all_foo_uris "allrdfuris" (Http_getter.getallrdfuris classs) outchan
 
@@ -253,9 +264,11 @@ let callback (req: Http_types.request) outchan =
           (sprintf "Removed server at position %d<br />\n%s"
             position (HelmLogger.html_of_html_msg log))
           outchan
-    | "/getalluris" -> return_all_xml_uris outchan
+    | "/getalluris" ->
+       return_all_xml_uris (parse_output_format "getalluris" req) outchan
     | "/getallrdfuris" -> return_all_rdf_uris (parse_rdf_class req) outchan
-    | "/ls" -> return_ls (parse_ls_uri req) (parse_output_format req) outchan
+    | "/ls" ->
+       return_ls (parse_ls_uri req) (parse_output_format "ls" req) outchan
     | "/getempty" ->
         Http_daemon.respond ~body:Http_getter_const.empty_xml outchan
     | invalid_request ->
index a4eac83e5a36f5aed2bf75adf94c0e515d746e05..4e68f95d9a7a526ed061af80f529bf617377fb27 100644 (file)
@@ -83,7 +83,7 @@ let usage_string configuration =
       <b><kbd>clean_cache</kbd></b><br />
     </p>
     <p>
-      <b><kbd>getalluris</kbd></b><br />
+      <b><kbd>getalluris?format=(txt|xml)</kbd></b><br />
     </p>
     <p>
       <b><kbd>getallrdfuris</kbd></b><br />