default_https_port

This is the REN server's HTTPS port. The default value is 7143.