Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package tdmrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Tdmrep.HttpSource
TDM fields in HTTP responses.
A server may attach tdm-reservation and tdm-policy fields to a GET or HEAD response. These values override values obtained from the well-known file. The module does not depend on an HTTP library: pass extracted field values to Http.decode, or add the pairs returned by Http.encode to a response. See TDM fields in HTTP responses.
reservation_name is "tdm-reservation".
policy_name is "tdm-policy".
decode ~reservation ~policy is the declaration carried by the field values, or raises Invalid_policy if policy is relative.
encode declaration is the response fields for declaration.