socketsetup() now takes a port number as well as a domain.