X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_constants.mli;h=bdce244fd81eb2ea37c8fa7d5a6a478a57b25847;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=881fe906af5336d203d5a0bd108d9fd8aa5cd7d1;hpb=1735701909c01fc2cf91ebcc5e456ff5f0f31300;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_constants.mli b/helm/DEVEL/ocaml-http/http_constants.mli
index 881fe906a..bdce244fd 100644
--- a/helm/DEVEL/ocaml-http/http_constants.mli
+++ b/helm/DEVEL/ocaml-http/http_constants.mli
@@ -21,6 +21,8 @@
 
 (** Constants *)
 
+open Http_types
+
   (** default HTTP version *)
 val version: Http_types.version
 
@@ -30,3 +32,10 @@ val server_string: string
   (** "\r\n" string *)
 val crlf: string
 
+  (** {2 daemon default values} *)
+
+val default_addr: string        (** default listen address *)
+val default_port: int           (** default listen port *)
+val default_timeout: int        (** default callbacks timeout *)
+val default_mode: daemon_mode   (** default request handling mode *)
+