]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/http_types.mli
ocaml 3.09 transition
[helm.git] / helm / DEVEL / ocaml-http / http_types.mli
index eeedd2cf8e0c1ee05012ca9a37e67183423771c6..8d58326550bfac4d54564fde11a17d9789ae5837 100644 (file)
@@ -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