X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_constants.mli;h=bf7072a1a1f62994a9eee0afca86cf7f0c3b7768;hb=e2e8010589204aa937ca4059fc0273c37a5d8bcf;hp=c00edebb63b1303418d2fbc63a48dab922b44024;hpb=54b81f2644be0741421824d757fc06128d9d7edc;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_constants.mli b/helm/DEVEL/ocaml-http/http_constants.mli
index c00edebb6..bf7072a1a 100644
--- a/helm/DEVEL/ocaml-http/http_constants.mli
+++ b/helm/DEVEL/ocaml-http/http_constants.mli
@@ -21,8 +21,6 @@
 
 (** Constants *)
 
-open Http_types
-
   (** default HTTP version *)
 val version: Http_types.version
 
@@ -34,8 +32,12 @@ 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 *)
+val default_addr: string
+val default_auth: (string * Http_types.auth_info) option
+val default_callback: Http_types.request -> out_channel -> unit
+val default_mode: Http_types.daemon_mode
+val default_port: int
+val default_root_dir: string option
+val default_exn_handler: (exn -> out_channel -> unit) option
+val default_timeout: int option