diff options
| author | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2015-03-10 12:36:17 -0300 |
|---|---|---|
| committer | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2015-03-10 12:36:17 -0300 |
| commit | bb7b35caf78de80d2ff1643d042e62a71f83abbb (patch) | |
| tree | 041ac7c713ac4ea9b91f2ad95bc84b0d1a5bf4b4 | |
| parent | e491bd2ee34860b14ff18abc5602f9aa5b197a2d (diff) | |
| download | postgresql-bb7b35caf78de80d2ff1643d042e62a71f83abbb.tar.gz postgresql-bb7b35caf78de80d2ff1643d042e62a71f83abbb.zip | |
Fix stray sentence fragment in shared_preload_libraries documentation
The introduction in the Shared Library Preloading section already
instructs the user to separate multiple library names with commas, so
just remove the fragment from here.
Author: Dagfinn Ilmari Mannsåker
| -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> |