From aa39605bc50cc876067b768ed8b0a348415b3a91 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 25 Mar 2003 15:49:08 +0000 Subject: [PATCH] pretty print errors using red color instead of h1 text (close #50) --- helm/uwobo/uwobo_common.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 ;; - -- 2.39.2