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

diff --git a/helm/software/DEVEL/ocaml-http/http_constants.mli b/helm/software/DEVEL/ocaml-http/http_constants.mli
index 46db79067..03d2ee424 100644
--- a/helm/software/DEVEL/ocaml-http/http_constants.mli
+++ b/helm/software/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