X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2Fhttp_constants.ml;h=f45829ddca10b9ff4ea23ab27ec526484db61835;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hp=fa9f49536c8e0b6ed47d1b40213ddcaf56c59fb0;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/ocaml-http/http_constants.ml b/helm/software/DEVEL/ocaml-http/http_constants.ml
index fa9f49536..f45829ddc 100644
--- a/helm/software/DEVEL/ocaml-http/http_constants.ml
+++ b/helm/software/DEVEL/ocaml-http/http_constants.ml
@@ -25,6 +25,7 @@ let crlf = "\r\n" ;;
 
 let default_addr = "0.0.0.0"
 let default_auth = None
+let default_auto_close = false
 let default_callback = fun _ _ -> ()
 let default_mode = `Fork
 let default_port = 80
@@ -32,3 +33,4 @@ let default_root_dir = None
 let default_exn_handler = Some (fun exn outchan -> ())
 let default_timeout = Some 300
 
+