http_header:http

http
- http

http_reply(+Data, +Out:stream) is det

http_reply(+Data, +Out:stream, +HdrExtra) is det

http_reply(+Data, +Out:stream, +HdrExtra, -Code) is det

http_reply(+Data, +Out:stream, +HdrExtra, +Context, -Code) is det

http_reply(+Data, +Out:stream, +HdrExtra, +Context, +Request, -Code) is det

Compose a complete HTTP reply from the term Data using additional headers from HdrExtra to the output stream Out. ExtraHeader is a list of Field(Value). Data is one of:

html(HTML): HTML tokens as produced by html//1 from html_write.pl
file(+MimeType, +FileName): Reply content of FileName using MimeType
file(+MimeType, +FileName, +Range): Reply partial content of FileName with given MimeType
tmp_file(+MimeType, +FileName): Same as file, but do not include modification time
bytes(+MimeType, +Bytes): Send a sequence of Bytes with the indicated MimeType. Bytes is either a string of character codes 0..255 or list of integers in the range 0..255. Out-of-bound codes result in a representation error exception.
stream(+In, +Len): Reply content of stream.
cgi_stream(+In, +Len): Reply content of stream, which should start with an HTTP header, followed by a blank line. This is the typical output from a CGI script.
Status: HTTP status report as defined by http_status_reply/4.

Arguments:

`HdrExtra`	- provides additional reply-header fields, encoded as Name(Value). It can also contain a field `content_length(-Len)` to retrieve the value of the Content-length header that is replied.
`Code`	- is the numeric HTTP status code sent

To be done

- Complete documentation