this is set in the config file, port : 80. you're right it should probably default to 443 for https.