X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Focaml-http%2Fhttp_types.mli;h=82967c5e4dda7903fe9493d9a384b54edb290728;hb=190662b877ba89ccb152f0bf5c67df62be737335;hp=8d58326550bfac4d54564fde11a17d9789ae5837;hpb=d17988855a2e85dc2db641d11ce481c266038ef3;p=helm.git diff --git a/DEVEL/ocaml-http/http_types.mli b/DEVEL/ocaml-http/http_types.mli index 8d5832655..82967c5e4 100644 --- a/DEVEL/ocaml-http/http_types.mli +++ b/DEVEL/ocaml-http/http_types.mli @@ -1,8 +1,7 @@ - (* OCaml HTTP - do it yourself (fully OCaml) HTTP daemon - Copyright (C) <2002-2005> Stefano Zacchiroli + Copyright (C) <2002-2007> Stefano Zacchiroli This program is free software; you can redistribute it and/or modify it under the terms of the GNU Library General Public License as @@ -180,6 +179,9 @@ exception Malformed_query_part of string * string (** invalid request URI encountered *) exception Malformed_request_URI of string + (** malformed cookies *) +exception Malformed_cookies of string + (** malformed request received *) exception Malformed_request of string @@ -285,6 +287,8 @@ class type request = object (** @return the list of all parameter received via POST *) method params_POST: (string * string) list + method cookies: (string * string) list option + (** @return authorization information, if given by the client *) method authorization: auth_info option @@ -418,6 +422,10 @@ type daemon_spec = { (** timeout in seconds after which an incoming HTTP request will be * terminated closing the corresponding TCP connection; None disable the * timeout *) + auto_close: bool; + (** whether ocaml-http will automatically close the connection with the + * client after callback has completed its execution. If set to true, close + * will be attempted no matter if the callback raises an exception or not *) } (** {2 OO representation of other HTTP entities} *)