This wil only set the port to (default) 443 if the scheme is https and no port is given in repo.txt. So a non default port can stil be used.