Allow custom https port.
Merge pull request #790 from arjunadeltoso/https_custom_port

Fix fullURL to use the right https port.