It's a bit eccentric to call it "servname" when it's not a server name, it's a (string representing a) port number.