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 -> unitmethod set_input_header_field : string -> string -> unitmethod set_multiple_input_header_field : string -> string list -> unitmethod set_input_header_fields : (string * string) list -> unitmethod set_input_ch : Netchannels.in_obj_channel -> unitmethod set_input_content_length : int -> unitContent-length field of the request headermethod set_input_content_type : string -> unitContent-type field of the request headermethod set_output_ch : Netchannels.out_obj_channel -> unitmethod set_error_log : (string -> unit) -> unitprerr_endline by default)method setup_finished : unit -> unit