From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 23 Feb 2004 12:50:57 +0000 (+0000)
Subject: Bug fix: the generated XML for DCs was not well-formed.
X-Git-Tag: v0_0_4~110
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a3026b5d06a07baa98da0e9ac841975232a8a60b;p=helm.git

Bug fix: the generated XML for DCs was not well-formed.
---

diff --git a/helm/DEVEL/rdfly/rdfly.ml b/helm/DEVEL/rdfly/rdfly.ml
index 724d8f8bd..da06477dc 100644
--- a/helm/DEVEL/rdfly/rdfly.ml
+++ b/helm/DEVEL/rdfly/rdfly.ml
@@ -35,7 +35,8 @@ let msg_output_trailer msg =
 
 let msg_output_dc_header msg obj =
   msg_output_string msg "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>\n\n" ;
-  msg_output_string msg ("<rdf:RDF xml:lang=\"en\"\n         xmlns:rdf=\"http://www.w3.org/1999/02/22-rdf-syntax-ns#\"\n         xmlns:rdfs=\"http://www.w3.org/2000/01/rdf-schema#\"\n         xmlns:dc=\"http://purl.org/metadata/dublin_core#\"\n         xmlns:dcq=\"http://purl.org/metadata/dublin_core_qualifiers#\"\n         xmlns:h=\"http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#\"\n         xmlns:hth=\"http://www.cs.unibo.it/helm/schemas/schema-hth.rdf#\">\n")
+  msg_output_string msg ("<rdf:RDF xml:lang=\"en\"\n         xmlns:rdf=\"http://www.w3.org/1999/02/22-rdf-syntax-ns#\"\n         xmlns:rdfs=\"http://www.w3.org/2000/01/rdf-schema#\"\n         xmlns:dc=\"http://purl.org/metadata/dublin_core#\"\n         xmlns:dcq=\"http://purl.org/metadata/dublin_core_qualifiers#\"\n         xmlns:h=\"http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#\"\n         xmlns:hth=\"http://www.cs.unibo.it/helm/schemas/schema-hth.rdf#\">\n") ;
+  msg_output_string msg "  <h:DirectoryOfObjects>"
 ;;
 
 let msg_output_dc_trailer msg =
@@ -153,7 +154,7 @@ let daemonport = Helm_registry.get_int "rdfly.port";;
 let callback (req: Http_types.request) ch =
   try
     debug_print ("Connection from " ^ req#clientAddr) ;
-    debug_print ("Received request: " ^ req#path) ;
+    debug_print ("Received request: " ^ req#uri) ;
     (match req#path with
     | "/help" ->
         return_html_error "yeah right..." ch