From: Stefano Zacchiroli Date: Wed, 15 Jan 2003 14:02:59 +0000 (+0000) Subject: - disabled OCaml HTTP debugging X-Git-Tag: v0_3_99~30 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3ef5711d7e58aa3157e3bb7dffea114e207be39e;p=helm.git - disabled OCaml HTTP debugging - added a debugging messages that is printed after a request is served --- diff --git a/helm/uwobo/src/ocaml/uwobo.ml b/helm/uwobo/src/ocaml/uwobo.ml index 2f5e54983..c99b4907c 100644 --- a/helm/uwobo/src/ocaml/uwobo.ml +++ b/helm/uwobo/src/ocaml/uwobo.ml @@ -34,7 +34,7 @@ open Uwobo_common;; let debug = true;; let debug_level = `Debug;; let debug_print s = if debug then prerr_endline s;; -let http_debug = true;; +let http_debug = false;; Http_common.debug := http_debug;; (* environment settings *) @@ -248,7 +248,8 @@ let callback (req: Http_types.request) outchan = outchan) | "/help" -> Http_daemon.respond ~body:usage_string outchan | invalid_request -> - Http_daemon.respond_error ~status:(`Client_error `Bad_request) outchan) + Http_daemon.respond_error ~status:(`Client_error `Bad_request) outchan); + syslogger#log `Debug (sprintf "%s done!" req#path); with | Http_types.Param_not_found attr_name -> bad_request (sprintf "Parameter '%s' is missing" attr_name) outchan