old_contents: # Taken from https://gist.github.com/dergachev/7028596
  
  # taken from http://www.piware.de/2011/01/creating-an-https-server-in-python/
  # generate server.xml with the following command:
  #    openssl req -new -x509 -keyout server.pem -out server.pem -days 365 -nodes
  # run as follows:
  #    python simple-https-server.py
  # then in your browser, visit:
  #    https://localhost:4443
  
  import BaseHTTPServer, SimpleHTTPServer
  import ssl
  
  httpd = BaseHTTPServer.HTTPServer(
                ('localhost', 4443),
                SimpleHTTPServer.SimpleHTTPRequestHandler)
  httpd.socket = ssl.wrap_socket(
                    httpd.socket,
                    certfile='./server.pem',
                    server_side=True)
  httpd.serve_forever()
  
new_contents: # Taken from https://gist.github.com/dergachev/7028596
  
  # taken from http://www.piware.de/2011/01/creating-an-https-server-in-python/
  # generate server.xml with the following command:
  #    openssl req -new -x509 -keyout server.pem -out server.pem -days 365 -nodes
  # run as follows:
  #    python simple_https_server.py
  # then in your browser, visit:
  #    https://localhost:4443
  
  import BaseHTTPServer, SimpleHTTPServer
  import ssl
  
  httpd = BaseHTTPServer.HTTPServer(
                ('localhost', 4443),
                SimpleHTTPServer.SimpleHTTPRequestHandler)
  httpd.socket = ssl.wrap_socket(
                    httpd.socket,
                    certfile='./server.pem',
                    server_side=True)
  httpd.serve_forever()
  
subject: tweak simple https server