"Magnus Hagander" <mha@sollentuna.net> writes:
>> I suppose one of those last two should be "krb_srvname", but which?
> Yes.
> It should be krb_srvname/krb_server_hostname@REALM.
OK, will fix.
> Now that you mention it, krb_server_hostname should probably mentioned
> in chapter 19.2.3 somewhere.
Yeah, it just says
hostname is the fully qualified host name of the server machine.
which is clearly insufficient detail. Please send some proposed text.
regards, tom lane