Adding an option to launch a HTTPS server