The list of ports to listen to. Typically, the server should listen to ports 43594 and 443 in this section, with the 43594 port being the primary one, and 443 being the fallback. 443 is additionally used for HTTP requests, should those be supported.