module Nethttpd_services:sig..end
This module defines the basic service providers that handle requests and generate responses. The service providers can be used with both the reactive and the event-based daemon encapsulations.
type |    | server_pref_name :  | (* | The preferred name of the host. This can be a DNS name or an IP address. | *) | 
|    | server_pref_port :  | (* | The preferred port of the host | *) | 
|    | server_names :  | (* | Names and ports that match this host definition, for
 name-based virtual hosting. The name  | *) | 
|    | server_addresses :  | (* | IP addresses and ports that also match this host definition, for
 IP-based virtual hosting. The address  | *) | 
For name- and IP-based virtual hosting this record describes the individual host. An incoming request matches this host if:
Host header is mentioned in server_names, or ifserver_addressesIf server_pref_name is set, the name of the host is set to this string for
 further processing (esp. cgi_server_name). If not set, the name of the
 host is set to the name corresponding to the matching entry of server_names
 or server_addresses, or if this does not succeed, to the real IP address.
If server_pref_port is set, the port of the host is set to this string for
 further processing (esp. cgi_server_port). If not set, the port of the
 host is set to the port corresponding to the matching entry of server_names
 or server_addresses, or if this does not succeed, to the real port number.
type'ahost_distributor =(host * 'a Nethttpd_types.http_service) list
Describes virtual hosting by pairs (host,service): If host matches the
 incoming request, the corresponding service is performed to generate the
 response.
val host_distributor : 'a host_distributor ->
       [> `Host_distributor of 'a host_distributor ]
       Nethttpd_types.http_serviceConfigures virtual hosting
val default_host : ?pref_name:string -> ?pref_port:int -> unit -> hostCreates a host record that matches any request. pref_name and pref_port
 can be used to specify preferred names.
val options_service : unit -> [> `Options_service ] Nethttpd_types.http_serviceThis service responds to "OPTIONS *" requests, and nothing else
type'auri_distributor =(string * 'a Nethttpd_types.http_service) list
Describes that services are bound to URI prefixes. The strings are URI paths (without URI escaping). For an incoming request URI, the longest matching prefix is selected, and the corresponding service is carried out.
If the URI path in the list ends with a slash, it can only be selected if the incoming request URI also includes the slash.
If the URI path in the list does not end with a slash, it can only be selected if the incoming request URI is exactly identical, or continues the path with a slash.
val uri_distributor : 'a uri_distributor ->
       [> `Uri_distributor of 'a uri_distributor ]
       Nethttpd_types.http_serviceConfigures URI distribution. The incoming request URI is normalized before being matched, and the request is rewritten to the normalized URI.
Normalization includes:
. path components.. path componentsIf the path starts with .. after normalization, the request is rejected.
type'alinear_distributor =((Nethttpd_types.extended_environment -> bool) *
'a Nethttpd_types.http_service)
list
Services are selected by calling the selector function. The first service
 for which the function returns true is selected.
val linear_distributor : 'a linear_distributor ->
       [> `Linear_distributor of 'a linear_distributor ]
       Nethttpd_types.http_serviceConfigures linear distribution
typemethod_filter =[ `Limit of string list | `Limit_except of string list ]
The request is only accepted if listed (for `Limit), or if not listed
 (for `Limit_except).
type'amethod_distributor =(method_filter * 'a Nethttpd_types.http_service) list
The first service is selected for which the method filter accepts the request
val method_distributor : 'a method_distributor ->
       [> `Method_distributor of 'a method_distributor ]
       Nethttpd_types.http_serviceConfigures method distribution
typefile_option =[ `Enable_cooked_compression
| `Enable_gzip
| `Enable_index_file of string list
| `Enable_listings of
Nethttpd_types.extended_environment ->
Netcgi.cgi_activation -> file_service -> unit
| `Override_compression_suffixes of (string * string) list ]
Add-on features for file services:
`Enable_gzip: Deprecated. Same as `Enable_cooked_compression.`Enable_cooked_compression: Modifies the way compressed files
   are handled. Normally it is required that one accesses the compressed
   file (with suffix such as "gz") directly to get it in compressed form.
   If this option is enabled, though, the server also compresses
   the base file (without suffix such as "gz"), but only if the
   base file is accompanied by a compressed version (with suffix).
   E.g. if there is "foo" and "foo.gz", this enables that the accesses
   to "foo" can make use of compression.`Enable_index_file: If enabled, accesses to directories are redirected
   to index files. The possible file names are given in the string list.
   E.g. `Enable_index_file ["index.html"; "index.htm"]. It is redirected to
   these files, so these can be handled by different services if neccessary.`Enable_listings: If enabled, directory listings are generated by calling
   the argument function. The PATH_TRANSLATED property of the environment
   contains the absolute name of the directory to list. The PATH_INFO property
   is the corresponding URI path. SCRIPT_NAME is meaningless.`Override_compression_suffixes l: Tags the file suffixes in
   l as compression schemes. A pair (suffix,ce) sets that the
   suffix means the content encoding ce. Knowing this is important
   for determining the media type of the file.type |    | file_docroot :  | (* | The document root for this file service | *) | 
|    | file_uri :  | (* | The URI prefix corresponding to the document root. Escapes are not allowed | *) | 
|    | file_suffix_types :  | (* | Maps the file suffixes (after the dot) to media types | *) | 
|    | file_default_type :  | (* | The media type to use if suffix mapping fails | *) | 
|    | file_options :  | (* | Further options for files | *) | 
Describes a file service
val file_service : file_service ->
       [> `File_service of file_service ]
       Nethttpd_types.http_serviceConfigures a file service
val file_translator : file_service -> string -> stringTranslates an URI path to a file name. Raises Not_found if not
      possible. It is not checked whether the resulting file exists.
This function removes a trailing slash of the translated path, if any, and if resulting from appending the path info component. Trailing slashes must not be used to deduce that directories are accessed.
val simple_listing : ?hide:string list ->
       Nethttpd_types.extended_environment ->
       Netcgi.cgi_activation -> file_service -> unitSimple listing generator for `Enable_listings
hide: An optional list of Str regular expressions. File names matching one
 of the regexps are hidden in the listing. Defaults to hiding files starting with
 a dot, and files ending in a tilde character. (Changed in Ocamlnet-3.3:
 hide uses now Str regexps, and no longer PCRE regexps.)
type |    | stdactv_processing :  | 
|    | stdactv_operating_type :  | 
These are options for `Std_activation. For explanations, see the Netcgi
 module.
typestd_activation =[ `Std_activation of std_activation_options
| `Std_activation_buffered
| `Std_activation_tempfile
| `Std_activation_unbuffered ]
The way the Netcgi_types.cgi_activation object is created. For typical
 usage, just take:
`Std_activation_unbuffered: Creates a Netcgi.std_activation without
   output buffer (type `Direct "") and memory-based argument processing`Std_activation_buffered:  Creates a Netcgi.std_activation
   with a transactions buffer in memory, and memory-based argument processing`Std_activation_tempfile: Creates a Netcgi.std_activation
   with a file as transactions buffer, and memory-based argument processingThe following option is provided for detailed control:
`Std_activation opt: Creates a Netcgi.std_activation with the given
   optionstype #Netcgi.cgi_activation dynamic_service = {|    | dyn_handler :  | (* | A dynamic service is carried out by calling this function with the environment
 and the CGI activation. The function can use all CGI features, including
 setting the  | *) | 
|    | dyn_activation :  | (* | The way the  | *) | 
|    | dyn_uri :  | (* | The URI prefix corresponding to this service. This is only used to
 compute  | *) | 
|    | dyn_translator :  | (* | The function computing  | *) | 
|    | dyn_accept_all_conditionals :  | (* | Whether to pass requests with  The other condition fields  | *) | 
val std_activation : std_activation ->
       Nethttpd_types.extended_environment -> Netcgi.cgi_activationCreate the function for dyn_activation from a std_activation tag.
 Example:
  let dyn_actv = std_activation `Std_activation_unbuffered 
val dynamic_service : (#Netcgi.cgi_activation as 'a) dynamic_service ->
       [> `Dynamic_service of 'a dynamic_service ]
       Nethttpd_types.http_serviceConfigures the dynamic service.
typeac_by_host_rule =[ `Allow of string list | `Deny of string list ]
Access control by host:
`Allow: Only the listed hosts are allowed; all other are denied`Deny: The listed hosts are denied; all other are allowedtype'aac_by_host =ac_by_host_rule * 'a Nethttpd_types.http_service
The service is protected by the access control rule
val ac_by_host : 'a ac_by_host ->
       [> `Ac_by_host of 'a ac_by_host ]
       Nethttpd_types.http_serviceConfigures host-based access control
val read_media_types_file : string -> (string * string) listReads a text file with two columns where the left column is the
 media type and the right column the corresponding suffix.
 Returns the contents as pairs  (suffix, type) .
module Debug:sig..end