]> matita.cs.unibo.it Git - helm.git/commitdiff
- moved here respond_exc and respond_msg from broker/
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:10:34 +0000 (09:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:10:34 +0000 (09:10 +0000)
helm/hbugs/common/hbugs_messages.ml
helm/hbugs/common/hbugs_messages.mli

index d0a6fe1dbad25b1d5274f25f335e3b97eb6c561d..0eac0b149aa26a685a4617c79a7321a8c31828d0 100644 (file)
@@ -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));;
 
index 1ab0e94004ad3adc6757bb5c97fcfb62d3ef397d..d035dcff11899651950196627b569438e545e9b8 100644 (file)
 
 open Hbugs_types;;
 
+exception Parse_error of string * string  (* parsing subject, reason *)
+
 val msg_of_string: string -> message
 val string_of_msg: message -> string
 
 val submit_req: url:string -> message -> message
+val respond_msg: message -> out_channel -> unit
+  (* exception_name, exception_value, output_channel *)
+val respond_exc: string -> string -> out_channel -> unit