diff options
| -rw-r--r-- | doc/src/sgml/config.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 9261e7f77ad..0ad838345aa 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -6416,7 +6416,7 @@ SET XML OPTION { DOCUMENT | CONTENT }; <listitem> <para> This variable specifies one or more shared libraries to be preloaded at - server start. with commas. This parameter can only be set at server + server start. This parameter can only be set at server start. If a specified library is not found, the server will fail to start. </para> |