class custom_environment :This class can be used to set up non-standard environments. After creation, one sets the properties and the request header, and calls?config:cgi_config -> unit ->
object
..end
setup_finished
.
Please read the comments about the protocol between environments and
cgi_activation
in the description of Netcgi_env.cgi_environment
before using this class. In particular, it is the task of the
environment to receive the request header.
Inherits
Netcgi_env.cgi_environment
Implements this interfacemethod set_cgi : ?gateway_interface:string ->
?server_software:string ->
?server_name:string ->
?server_protocol:string ->
?server_port:int option ->
?request_method:string ->
?path_info:string ->
?path_translated:string ->
?script_name:string ->
?query_string:string ->
?remote_host:string ->
?remote_addr:string ->
?auth_type:string ->
?remote_user:string ->
?remote_ident:string ->
?https:bool -> ?property:string * string -> unit -> unit
method set_input_header_field : string -> string -> unit
method set_multiple_input_header_field : string -> string list -> unit
method set_input_header_fields : (string * string) list -> unit
method set_input_ch : Netchannels.in_obj_channel -> unit
method set_input_content_length : int -> unit
Content-length
field of the request headermethod set_input_content_type : string -> unit
Content-type
field of the request headermethod set_output_ch : Netchannels.out_obj_channel -> unit
method set_error_log : (string -> unit) -> unit
prerr_endline
by default)method setup_finished : unit -> unit