Plasma GitLab Archive
Projects Blog Knowledge

Class Nethttpd_types.redirected_environment

class redirected_environment : ?in_header:Nethttp.http_header -> ?properties:(string * string) list -> ?in_channel:Netchannels.in_obj_channel -> extended_environment -> extended_environment

This class overlays the input-side containers of an existing environment. The output-side containers (out_header, and out_channel) are physically identical with the existing environment.

If one of the argument is not passed on class instantiation, the corresponding overlay container is initialized with the current value of the passed environment. As exception of this rule, the input channel is initialized with an empty input channel.


This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml