X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fexamples%2Fobj_foo.ml;h=2786218530ccf7e8ef4b20966e928d40ab9713bf;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=d28c7e4acc5a22957451da32b7a1cdbd91c1294c;hpb=6a8da4dd52033adfe80533f7467439aec1561147;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/examples/obj_foo.ml b/helm/DEVEL/ocaml-http/examples/obj_foo.ml
index d28c7e4ac..278621853 100644
--- a/helm/DEVEL/ocaml-http/examples/obj_foo.ml
+++ b/helm/DEVEL/ocaml-http/examples/obj_foo.ml
@@ -19,7 +19,9 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-let callback req outchan =
+open Http_types;;
+
+let callback (req: request) outchan =
   Http_daemon.respond_error ~body:(req#param "foo") outchan
 in
-Http_daemon.start' ~addr:"127.0.0.1" ~port:9999 callback
+Http_daemon.start' ~port:9999 callback