krb5 services override in krb5.conf?

[Derrick J Brashear <shadow@dementia.org>]

It would be nice if there were a way to override the use of getservbyname
for kerberos ports in /etc/krb5.conf, maybe something like

[ports]
	kerberos = 88/tcp 88/udp
	
etc.

Problem is we have legacy software which expects to find an entry which is
kerberos 750/udp
in services, and if you remove it, they simply don't work. But... our krb5
kdc isn't listening on 750, only on 88.

If this is interesting I'll code something and send a patch. If it's not
I'll start looking for another way to solve the problem

-D