]> matita.cs.unibo.it Git - helm.git/commitdiff
- disabled OCaml HTTP debugging
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jan 2003 14:02:59 +0000 (14:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jan 2003 14:02:59 +0000 (14:02 +0000)
- added a debugging messages that is printed after a request is served

helm/uwobo/src/ocaml/uwobo.ml

index 2f5e549830e859d5978b65d7a898ad60e7249e65..c99b4907c9573929c7f16b6d3a67a188b5068ac4 100644 (file)
@@ -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