From 7754f7634cbc837702428bbb40a0efbeec7a51d1 Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Sat, 8 Oct 2005 20:27:25 +0000
Subject: [PATCH] Fix a thinko in description of krb_server_hostname.
---
doc/src/sgml/config.sgml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index 710605ca700..68557a26d23 100644
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -1,5 +1,5 @@
<!--
-$PostgreSQL: pgsql/doc/src/sgml/config.sgml,v 1.24 2005/10/03 22:55:50 tgl Exp $
+$PostgreSQL: pgsql/doc/src/sgml/config.sgml,v 1.25 2005/10/08 20:27:25 tgl Exp $
-->
<chapter Id="runtime-config">
<title>Run-time Configuration</title>
@@ -592,8 +592,8 @@ SET ENABLE_SEQSCAN TO OFF;
<para>
Sets the hostname part of the service principal.
This, combined with <varname>krb_srvname</>, is used to generate
- the complete service principal, i.e.
- <varname>krb_server_hostname</><literal>/</><varname>krb_server_hostname</><literal>@</>REALM.
+ the complete service principal, that is
+ <varname>krb_srvname</><literal>/</><varname>krb_server_hostname</><literal>@</>REALM.
</para>
<para>
If not set, the default is to allow any service principal matching an entry
@@ -610,7 +610,7 @@ SET ENABLE_SEQSCAN TO OFF;
</indexterm>
<listitem>
<para>
- Sets if Kerberos usernames should be treated case-insensitively.
+ Sets whether Kerberos usernames should be treated case-insensitively.
The default is <literal>off</> (case sensitive). This parameter
can only be set at server start.
</para>
--
GitLab