void HTTPStream.set_content_type

(in string content_type)

set content type of servlet output.

Documentation

set content type of servlet output.

Preconditions:

it must be done before call of send_http_header

Alphabetic index