X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fexamples%2Fdump_args.ml;h=b7cf02a86c97f332b1da0b8064512c6200d3adaa;hb=7e9904185ceff75884783dbf0bad506b8521b857;hp=3287ea710e06e83c6bfcea5783b5432d17b86907;hpb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;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..b7cf02a86 100644
--- a/helm/DEVEL/ocaml-http/examples/dump_args.ml
+++ b/helm/DEVEL/ocaml-http/examples/dump_args.ml
@@ -2,7 +2,7 @@
 (*
   OCaml HTTP - do it yourself (fully OCaml) HTTP daemon
 
-  Copyright (C) <2002> Stefano Zacchiroli <zack@cs.unibo.it>
+  Copyright (C) <2002-2004> Stefano Zacchiroli <zack@cs.unibo.it>
 
   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
@@ -19,27 +19,32 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-open Printf;;
+open Printf
+open Http_types
 
 let callback req outchan =
-  Http_daemon.send_basic_headers ~code:200 outchan;
+  Http_daemon.send_basic_headers ~code:(`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)
-in
-print_endline "Starting custom Http_daemon ...";
-flush stdout;
-Http_daemon.start' ~port:9999 callback
+  output_string outchan str
+
+let spec =
+  { Http_daemon.default_spec with
+      callback = callback;
+      port = 9999;
+  }
+
+let _ = Http_daemon.main spec