Index of values

arg_parse speclist anon_fun usage_msg parses the command line and return an associative list describing the content of the property file (see Netcgi_ajp.props_of_file).

cgi_with_args (new cgi) env out op ?put_arg in_chan constructs a Netcgi.cgi object.

Returns the comment associated to the cookie or "" if it does not exists.

Returns the comment URL associated to the cookie or "" if it does not exists.

The default configuration is: tmp_directory: one of /var/tmp, /tmp, C:\temp, current directory., tmp_prefix: "netcgi", permitted_http_methods: `GET, `HEAD, `POST., permitted_input_content_types: "multipart/form-data", "application/x-www-form-urlencoded"., input_content_length_limit: maxint (i.e., no limit)., workarounds: all of them. To create a custom configuration, it is recommended to use this syntax:

      let custom_config = { default_config with tmp_prefix = "my_prefix" }
      

(This syntax is also robust w.r.t.

The domain of the cookie, if set.

exn_handler_default env ~exn_handler ~finally run_cgi will basically execute exn_handler env run_cgi.

fix_MSIE_Content_type_bug ct transforms the content-type string ct to fix the MSIE Content-Type bug.

Decode the cookie header, may they be version 0 or 1.

is_MSIE user_agent tells whether the user_agent is Microsoft Internet Explorer.

is_cgi says whether the script is run in a CGI environment.

is_prefix pre s checks whether pre is a prefix of s.

make ?expires ?domain ?path ?secure name value creates a new cookie with name name holding value.

The expiration time of the cookie, in seconds.

mime_arg ?name msg creates a MIME-structured CGI argument called name with contents msg.

The name of the cookie.

Conversion from the deprecated style of cookie.

The path of the cookie, if set.

port c the ports to which the cookie may be returned or [] if not set.

props_of_file fname parses the property file fname and returns it as an associative list.

split_rev is_delim s split s at each character is_delim and returns the list of substrings in reverse order.

rm_htspace is_space s low up returns the substring s.[low .. up - 1] stripped of possible heading and trailing spaces identified by the function is_space.

run f executes f cgi for each SCGI request.

run f register the function f as a main function of the script.

run f executes f cgi for each AJP request.

run f register the function f as a main function of the script.

run f executes f cgi for each cgi request.

search pat define a search function f such that f s i0 i1 search the string pat in s.[i0 .. i1-1] and return the position of the first match.

search_case_fold is the same as search except that the search is case insensitive.

Tells whether the cookie is secure.

set http_header cookies sets the cookies in http_header using version 0 or version 1 depending on whether version 1 fields are used.

set new_args args creates a list of argument from args deleting the arguments whose name appears in new_args and adding the new_args arguments.

set_comment c s sets the comment of the cookie c to s which must be UTF-8 encoded (RFC 2279).

set_comment_url c url same as Netcgi.Cookie.set_comment except that the cookie comment is available on the page pointed by url.

Cookies are bound to a certain domain, i.e.

set_max_age c (Some t) sets the lifetime of the cookie c to t seconds.

Cookies are also bound to certain path prefixes, i.e.

set ports c (Some p) says that the cookie c must only be returned if the server request comes from one of the listed ports.

Cookies are also bound to the type of the web server: set_secure false means servers without SSL, set_secure true means servers with activated SSL ("https").

set_value c v sets the value of the cookie c to v.

simple_arg name value creates an unstructured CGI argument called name with contents value.

Conversion to the deprecated style of cookie (some parameters are dropped).

update_props_inheader (name, value) (props, inheader) returns (props, inheader) to which the new parameter name-value has been added -- to props or inheader, depending on name.

The value of the cookie.