X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Focaml-http%2Fhttp_constants.mli;h=03d2ee42482a0f1a273c6114ef36623d98b8405d;hb=53bd68fef22499b790e68ec3997f27771961513e;hp=46db79067c1a4f2cf653576ecb9406ff922f8de9;hpb=d17988855a2e85dc2db641d11ce481c266038ef3;p=helm.git

diff --git a/DEVEL/ocaml-http/http_constants.mli b/DEVEL/ocaml-http/http_constants.mli
index 46db79067..03d2ee424 100644
--- a/DEVEL/ocaml-http/http_constants.mli
+++ b/DEVEL/ocaml-http/http_constants.mli
@@ -34,6 +34,7 @@ val crlf: string
 
 val default_addr: string
 val default_auth: (string * Http_types.auth_info) option
+val default_auto_close: bool
 val default_callback: Http_types.request -> out_channel -> unit
 val default_mode: Http_types.daemon_mode
 val default_port: int