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

• Function: httpHeaders

• Usage:

  httpHeaders s

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

i1 : httpHeaders "hi there"

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

     hi there