The attached patch adds a directive to the config file,
krb_server_hostname that allows the hostname that service tickets are
obtained against to be different from the hostname of the db server.
We use this because the db server binds to a specific ip address which
has a name that's different from what hostname() would return.
it's against pogresql-8.0.0rc3 though it's not much different than a
similar patch against 7.4.3.
-Todd