]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/http_constants.mli
uniformed default values handling, now they are all in this module and
[helm.git] / helm / DEVEL / ocaml-http / http_constants.mli
index c00edebb63b1303418d2fbc63a48dab922b44024..bf7072a1a1f62994a9eee0afca86cf7f0c3b7768 100644 (file)
@@ -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