From: Stefano Zacchiroli Date: Tue, 25 Mar 2003 15:49:08 +0000 (+0000) Subject: pretty print errors using red color instead of h1 text (close #50) X-Git-Tag: before_refactoring~88 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aa39605bc50cc876067b768ed8b0a348415b3a91;p=helm.git pretty print errors using red color instead of h1 text (close #50) --- diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml index 5578b09fb..c71024ce8 100644 --- a/helm/uwobo/uwobo_common.ml +++ b/helm/uwobo/uwobo_common.ml @@ -109,11 +109,12 @@ let usage_string = (String.concat ", " supported_properties) (* supported properties *) ;; -let pp_error = sprintf "

Error: %s

";; +let pp_error = + sprintf "Error: %s" +;; let return_error msg outchan = Http_daemon.respond ~body:(pp_error msg) outchan;; let bad_request body outchan = Http_daemon.respond_error ~code:400 ~body outchan ;; -