def head

gralha-http-core@0.1.0.0 · http.bend:374

import Base

374# The status line and the header lines, up to the blank line: what a server
375# sends before a body it writes itself.
376def head(+status: U32, headers: List<&2, Header>) -> String:
377  "HTTP/1.1 " ++ U32.show(status) ++ " " ++ reason(status) ++ "\r\n" ++ header.text(headers) ++ "\r\n"