DASCHER@BROWNVM.BROWN.EDU (David Ascher) (11/14/90)
sorry for the waste of bandwith. I figured it out -- the name of the machine in /etc/hosts didn't match that in /etc/krb.conf. --david