From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 25 Dec 2002 14:50:01 +0000 (+0000)
Subject: "qualified" callback argument as required by new API
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5892d8438e1039cc710bfeb52c1d55bc745b9a0e;p=helm.git

"qualified" callback argument as required by new API
---

diff --git a/helm/DEVEL/ocaml-http/examples/obj_foo.ml b/helm/DEVEL/ocaml-http/examples/obj_foo.ml
index c36ea3ec3..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' ~port:9999 callback