*** pgsql/doc/src/sgml/config.sgml 2008/12/13 19:13:43 1.200 --- pgsql/doc/src/sgml/config.sgml 2009/01/02 10:33:19 1.201 *************** *** 1,4 **** ! Server Configuration --- 1,4 ---- ! Server Configuration *************** SET ENABLE_SEQSCAN TO OFF; *** 621,628 **** Sets the realm to match Kerberos, GSSAPI and SSPI user names against. See , or ! for details. This parameter can only be ! set at server start. --- 621,627 ---- Sets the realm to match Kerberos, GSSAPI and SSPI user names against. See , or ! for details. *************** SET ENABLE_SEQSCAN TO OFF; *** 636,642 **** Sets the location of the Kerberos server key file. See or ! for details. This parameter can only be set at server start. --- 635,641 ---- Sets the location of the Kerberos server key file. See or ! for details. *************** SET ENABLE_SEQSCAN TO OFF; *** 649,655 **** Sets the Kerberos service name. See ! for details. This parameter can only be set at server start. --- 648,654 ---- Sets the Kerberos service name. See ! for details. *************** SET ENABLE_SEQSCAN TO OFF; *** 666,672 **** the complete service principal, that is krb_srvname/krb_server_hostname@REALM. If not set, the default is the server host name. See ! for details. This parameter can only be set at server start. --- 665,671 ---- the complete service principal, that is krb_srvname/krb_server_hostname@REALM. If not set, the default is the server host name. See ! for details. *************** SET ENABLE_SEQSCAN TO OFF; *** 680,687 **** Sets whether Kerberos and GSSAPI user names should be treated case-insensitively. ! The default is off (case sensitive). This parameter ! can only be set at server start. --- 679,685 ---- Sets whether Kerberos and GSSAPI user names should be treated case-insensitively. ! The default is off (case sensitive).