532 B
532 B
| id | name | category | kind | tokens | sig | tip | order | ns | member |
|---|---|---|---|---|---|---|---|---|---|
| http-header | Http.header | http | namespace-method | Http.header | Http.header(handle, name) -> str | A response header value (case-insensitive). | 13 | Http | header |
Returns a response header value by name (case-insensitive), or an empty result if absent. The value is a copy, yours to keep after Http.free.
program Demo {
entry {
let h = Http.get("https://example.com")
if Http.poll(h) > 0 { print(Http.header(h, "Content-Type")) }
}
}