kerberos port numbers

[Ken Raeburn]

Okay, so it sounds like the thing to do then is to support:

  88/udp/ipv4+ipv6
  750/udp/ipv4 (probably, for a while yet, even for krb5-only sites)
  88/tcp/ipv4+ipv6

And skip the /etc/services lookup.  Or maybe we should do the lookup
anyways, syslog a warning if the value is incorrect, and ignore it
either way? :-)

(And of course port number specs in krb5.conf or SRV records both
override this whole approach.)

Ken