diff --git a/doc/src/sgml/runtime.sgml b/doc/src/sgml/runtime.sgml index 0556fc35ab..e97302bbd2 100644 --- a/doc/src/sgml/runtime.sgml +++ b/doc/src/sgml/runtime.sgml @@ -1,5 +1,5 @@ @@ -490,7 +490,9 @@ search_path = '$user, public' also propagates this signal to all currently running server processes so that existing sessions also get the new value. Alternatively, you can send the signal to a single server - process directly. + process directly. Some parameters can only be set at server start; + any changes to their entries in the configuration file will be ignored + until the server is restarted.