From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 13 Sep 2007 13:04:29 +0000 (+0000)
Subject: added a debug print
X-Git-Tag: make_still_working~6020
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ecf2569da21511772755b10ce2eae60a6862533b;p=helm.git

added a debug print
---

diff --git a/helm/software/daemons/rdfly/rdfly.ml b/helm/software/daemons/rdfly/rdfly.ml
index eadb2c773..9b2a08d2a 100644
--- a/helm/software/daemons/rdfly/rdfly.ml
+++ b/helm/software/daemons/rdfly/rdfly.ml
@@ -137,8 +137,8 @@ let callback (req: Http_types.request) ch =
     | "/help" ->
         return_html_error "yeah right..." ch
     | "/get" ->
-      let obj = req#param "object"
-      and kind = req#param "kind" in
+      let obj = req#param "object" in
+      let kind = req#param "kind" in
       let dbd = SQL.quick_connect db_spec in
       begin
         match kind with
@@ -155,6 +155,7 @@ let callback (req: Http_types.request) ch =
   | Http_types.Param_not_found attr_name ->
       return_400 (Printf.sprintf "Parameter '%s' is missing" attr_name) ch
   | exc ->
+      prerr_endline (Printexc.to_string exc);
       return_html_error ("Uncaught exception: " ^ (Printexc.to_string exc)) ch
 
 let main () =
@@ -165,6 +166,6 @@ let main () =
     in
     Http_daemon.main d_spec
   with Sys.Break -> ()
-in
+;;
 
 main ()