X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Focaml-http%2Fexamples%2Fdump_args.ml;h=8e0d5dc67858909e311310a5a8ab39295083f18c;hb=e2103d86692f0782eca040d7fdf9c1080fa229fc;hp=3287ea710e06e83c6bfcea5783b5432d17b86907;hpb=f5c4a559776942f9a693f1c8858efa65e400a2e4;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/examples/dump_args.ml b/helm/DEVEL/ocaml-http/examples/dump_args.ml
index 3287ea710..8e0d5dc67 100644
--- a/helm/DEVEL/ocaml-http/examples/dump_args.ml
+++ b/helm/DEVEL/ocaml-http/examples/dump_args.ml
@@ -24,20 +24,21 @@ open Printf;;
 let callback req outchan =
   Http_daemon.send_basic_headers ~code:200 outchan;
   Http_daemon.send_CRLF outchan;
-  let (s1, s2, s3, s4) = 
-    (sprintf "request path = %s\n"  req#path),
+  let str = 
+    (sprintf "request path = %s\n"  req#path) ^
     (sprintf "request GET params = %s\n"
       (String.concat ";"
-        (List.map (fun (h,v) -> String.concat "=" [h;v]) req#params_GET))),
+        (List.map (fun (h,v) -> String.concat "=" [h;v]) req#params_GET))) ^
     (sprintf "request POST params = %s\n"
       (String.concat ";"
-        (List.map (fun (h,v) -> String.concat "=" [h;v]) req#params_POST))),
+        (List.map (fun (h,v) -> String.concat "=" [h;v]) req#params_POST))) ^
     (sprintf "request ALL params = %s\n"
       (String.concat ";"
-        (List.map (fun (h,v) -> String.concat "=" [h;v]) req#params)))
+        (List.map (fun (h,v) -> String.concat "=" [h;v]) req#params))) ^
+    (sprintf "request BODY = '%s'\n" req#body)
   in
-  output_string outchan (s1 ^ s2 ^ s3 ^ s4);
-  prerr_endline (s1 ^ s2 ^ s3 ^ s4)
+  output_string outchan str;
+  prerr_endline str
 in
 print_endline "Starting custom Http_daemon ...";
 flush stdout;