httpHeaders(String) -- prepend http headers to a string

Synopsis

• Function: httpHeaders

• Usage:

  httpHeaders s

• Inputs:
  • s, a string
• Outputs:
  • a string, the string obtained from s by prepending appropriate headers to it

Description

This function is experimental, and is intended to support the development of web servers.

i1 : httpHeaders "hi there"

o1 = HTTP/1.1 200 OK
     Server: Macaulay2/1.17
     Connection: close
     Content-Length: 8
     Content-type: text/html; charset=utf-8

     hi there