]> matita.cs.unibo.it Git - helm.git/commitdiff
added a debug print
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Sep 2007 13:04:29 +0000 (13:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Sep 2007 13:04:29 +0000 (13:04 +0000)
helm/software/daemons/rdfly/rdfly.ml

index eadb2c773f94ca9b70de7aa30bd430c87f5568df..9b2a08d2a742bcd91f42bca94f0251012e6c4512 100644 (file)
@@ -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 ()