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
host = {
|
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 "*" matches any name, and the port
0 matches any port. | *) |
|
server_addresses : |
(* | IP addresses and ports that also match this host definition, for
IP-based virtual hosting. The address Unix.inet_addr_any matches any
address, and the port 0 matches any port. | *) |
Host
header is mentioned in server_names
, or ifserver_addresses
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'a
host_distributor =(host * 'a Nethttpd_types.http_service) list
(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_service
val default_host : ?pref_name:string -> ?pref_port:int -> unit -> host
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_service
type'a
uri_distributor =(string * 'a Nethttpd_types.http_service) list
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_service
Normalization includes:
.
path components..
path components..
after normalization, the request is rejected.type'a
linear_distributor =((Nethttpd_types.extended_environment -> bool) *
'a Nethttpd_types.http_service)
list
true
is selected.val linear_distributor : 'a linear_distributor ->
[> `Linear_distributor of 'a linear_distributor ]
Nethttpd_types.http_service
typemethod_filter =
[ `Limit of string list | `Limit_except of string list ]
`Limit
), or if not listed
(for `Limit_except
).type'a
method_distributor =(method_filter * 'a Nethttpd_types.http_service) list
val method_distributor : 'a method_distributor ->
[> `Method_distributor of 'a method_distributor ]
Nethttpd_types.http_service
typefile_option =
[ `Enable_gzip
| `Enable_index_file of string list
| `Enable_listings of
Nethttpd_types.extended_environment ->
Netcgi1_compat.Netcgi_types.cgi_activation ->
file_service -> unit ]
`Enable_gzip
: If enabled, files ending in .gz
are assumed to be in gzip
compression. When there is both the base file and the gzip file ending in
.gz
, accesses to the base file (!) are transmitted with gzip
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.type
file_service = {
|
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 | *) |
val file_service : file_service ->
[> `File_service of file_service ]
Nethttpd_types.http_service
val file_translator : file_service -> string -> string
Not_found
if not possible.val simple_listing : ?hide:string list ->
Nethttpd_types.extended_environment ->
Netcgi1_compat.Netcgi_types.cgi_activation ->
file_service -> unit
`Enable_listings
hide
: An optional list of PCRE 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.
type
std_activation_options = {
|
stdactv_processing : |
|
stdactv_operating_type : |
`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 ]
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 processing`Std_activation opt
: Creates a Netcgi.std_activation
with the given
optionstype #Netcgi1_compat.Netcgi_types.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 Location handler to redirect responses. | *) |
|
dyn_activation : |
(* | The way the Netcgi_types.cgi_activation is created. Look below
for std_activation . | *) |
|
dyn_uri : |
(* | The URI prefix corresponding to this service. This is only used to
compute cgi_path . Leave it to None if not needed. | *) |
|
dyn_translator : |
(* | The function computing cgi_path_translated from cgi_path . Set it
to (fun _ -> "") if not needed. | *) |
|
dyn_accept_all_conditionals : |
(* | Whether to pass requests with If-Match and If-Unmodified-Since headers
to this service. If set to true , the service can optimize the caching
behaviour by interpreting these fields. It is even obliged to interpret
them. If false , requests containing these headers are rejected.
The other condition fields | *) |
val std_activation : std_activation ->
Nethttpd_types.extended_environment ->
Netcgi1_compat.Netcgi_types.cgi_activation
dyn_activation
from a std_activation
tag.
Example:
let dyn_actv = std_activation `Std_activation_unbuffered
val dynamic_service : (#Netcgi1_compat.Netcgi_types.cgi_activation as 'a)
dynamic_service ->
[> `Dynamic_service of 'a dynamic_service ]
Nethttpd_types.http_service
typeac_by_host_rule =
[ `Allow of string list | `Deny of string list ]
`Allow
: Only the listed hosts are allowed; all other are denied`Deny
: The listed hosts are denied; all other are allowedtype'a
ac_by_host =ac_by_host_rule * 'a Nethttpd_types.http_service
val ac_by_host : 'a ac_by_host ->
[> `Ac_by_host of 'a ac_by_host ]
Nethttpd_types.http_service
val read_media_types_file : string -> (string * string) list
(suffix, type)
.