X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Frdfly%2Frdfly.ml;h=9b2a08d2a742bcd91f42bca94f0251012e6c4512;hb=db929143eeb0c6e33323c0614d4c8f01817fbca0;hp=eadb2c773f94ca9b70de7aa30bd430c87f5568df;hpb=473fed516103ec08653701ec8f702145c13590cd;p=helm.git

diff --git a/daemons/rdfly/rdfly.ml b/daemons/rdfly/rdfly.ml
index eadb2c773..9b2a08d2a 100644
--- a/daemons/rdfly/rdfly.ml
+++ b/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 ()