]> matita.cs.unibo.it Git - helm.git/blobdiff - DEVEL/ocaml-http/http_constants.mli
- removed Http_daemon.{start,start\}
[helm.git] / DEVEL / ocaml-http / http_constants.mli
index 46db79067c1a4f2cf653576ecb9406ff922f8de9..03d2ee42482a0f1a273c6114ef36623d98b8405d 100644 (file)
@@ -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