old_contents: """
  HTTP server that returns a fixed string.
  """
  
  from BaseHTTPServer import BaseHTTPRequestHandler, HTTPServer
  
  
  class Handler(BaseHTTPRequestHandler):
      def do_GET(s):
          s.wfile.write(b"hi")
          s.wfile.close()
  
  
  httpd = HTTPServer((b"0.0.0.0", 8080), Handler)
  httpd.serve_forever()
  
new_contents: """
  HTTP server that returns a fixed string.
  """
  
  from BaseHTTPServer import BaseHTTPRequestHandler, HTTPServer
  
  
  class Handler(BaseHTTPRequestHandler):
      def do_GET(s):
          s.send_response(200)
          s.end_headers()
          s.wfile.write(b"hi")
          s.wfile.close()
  
  
  httpd = HTTPServer((b"0.0.0.0", 8080), Handler)
  httpd.serve_forever()
  
subject: Make curl happy, while I'm at it.