X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.mli;h=8d58326550bfac4d54564fde11a17d9789ae5837;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=eeedd2cf8e0c1ee05012ca9a37e67183423771c6;hpb=2026624f827b29c35d54aa67b301250123ea7311;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.mli b/helm/DEVEL/ocaml-http/http_types.mli
index eeedd2cf8..8d5832655 100644
--- a/helm/DEVEL/ocaml-http/http_types.mli
+++ b/helm/DEVEL/ocaml-http/http_types.mli
@@ -259,14 +259,16 @@ class type request = object
 
       (** lookup a given parameter
       @param meth if given restrict the lookup area (e.g. if meth = POST than
-      only parameters received via POST are searched), if not given both GET and
-      POST parameter are searched in an unspecified order (actually the
-      implementation prefers POST parameters but this is not granted, you've
-      been warned)
+        only parameters received via POST are searched), if not given both GET
+        and POST parameter are searched in an unspecified order (actually the
+        implementation prefers POST parameters but this is not granted, you've
+        been warned)
+      @param default if provided, this value will be returned in case no
+        parameter of that name is available instead of raising Param_not_found
       @param name name of the parameter to lookup
       @return value associated to parameter name
       @raise Param_not_found if parameter name was not found *)
-    method param: ?meth:meth -> string -> string
+    method param: ?meth:meth -> ?default:string -> string -> string
 
       (** like param above but return a list of values associated to given
       parameter (a parameter could be defined indeed more than once: passed more