class type virtual v_extended_environment =
An extension of
cgi_environment for use with the daemon. The methods
retrieving the socket addresses are virtual.
method virtual server_socket_addr :
method virtual remote_socket_addr :
These are always the physical IP addresses and ports of the two endpoints of the current connection.
method cgi_request_uri :
The full request URI. Identical to the CGI property "REQUEST_URI"
method log_props :
(string * string) list -> unit
Remember this version of
cgi_properties as the one sent to the
method input_channel :
The input channel for reading the body of the request
method input_body_size :
so far known, or 0L
method request_body_rejected :
so far known, or false
method send_file :
Unix.file_descr -> int64 -> unit
Sends the output header with a file as body. The file must already be open, and positioned where the transmission begins. The number is the length of the transmission.
This method may return immediately when it is possible to open the file, and
to set the kernel up for file transmission. Otherwise a
raised. It is also allowed that this method blocks until the file is actually
It is not allowed to print to the output channel and to call
Only one transmission method must be invoked.
method virtual output_state :
Reflects the state of the output generation:
`Start: Nothing is generated yet
`Sending: Output is already being sent
`End: The response (for a single request) has been fully sent
method tls_session_props :
The TLS session properties if TLS is active