Name
http_string_date, http_status_set, string_split — miscellaneous HTTP layer helpers
Synopsis
datetime http_string_date(
|
in http_date varchar); |
http_status_set(
|
in status_code integer, |
in status_text varchar); |
any string_split(
|
in str varchar, |
in separator varchar); |
Description
http_string_date parses an HTTP-formatted date string
in any of the three RFC-allowed forms (RFC 1123, RFC 850 or ANSI C
asctime) and returns the corresponding Virtuoso
DATETIME in GMT. The inverse operation is
date_rfc1123.
http_status_set replaces the status line that will be
sent for the current request with the given numeric
status_code (and optional human-readable
status_text). The status set this way overrides the
default 200 OK and any prior call to
http_request_status.
string_split splits str at
every occurrence of separator and returns the parts
as a vector. Despite living in the HTTP module it is a general-purpose
string-splitting helper.