X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fcommon%2Fhbugs_messages.ml;h=0eac0b149aa26a685a4617c79a7321a8c31828d0;hb=c3950a53015d0128440e110adae3ed3af7d07e3e;hp=d0a6fe1dbad25b1d5274f25f335e3b97eb6c561d;hpb=5d7d6bd5090f3f82279bef0b93b4b361a5b1d751;p=helm.git

diff --git a/helm/hbugs/common/hbugs_messages.ml b/helm/hbugs/common/hbugs_messages.ml
index d0a6fe1db..0eac0b149 100644
--- a/helm/hbugs/common/hbugs_messages.ml
+++ b/helm/hbugs/common/hbugs_messages.ml
@@ -213,4 +213,8 @@ let string_of_msg = function
 
 let submit_req ~url msg =
   msg_of_string (Hbugs_misc.http_post ~body:(string_of_msg msg) url)
+let return_xml_msg body outchan =
+  Http_daemon.respond ~headers:["Content-Type", "text/xml"] ~body outchan
+let respond_msg msg = return_xml_msg (string_of_msg msg);;
+let respond_exc name value = respond_msg (Exception (name, value));;