Add code to start an HTTPS server