diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/runtime.sgml | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/doc/src/sgml/runtime.sgml b/doc/src/sgml/runtime.sgml index e053e2ee34b..18c11a2bed1 100644 --- a/doc/src/sgml/runtime.sgml +++ b/doc/src/sgml/runtime.sgml @@ -1685,14 +1685,12 @@ $ <userinput>kill -INT `head -1 /usr/local/pgsql/data/postmaster.pid`</userinput <important> <para> - It is best not to use <systemitem>SIGKILL</systemitem> to shut down - the server. Doing so will prevent the server from releasing - shared memory and semaphores, which might then have to be done - manually before a new server can be started. Furthermore, - <systemitem>SIGKILL</systemitem> kills the <command>postgres</command> - process without letting it relay the signal to its subprocesses, - so it will be necessary to kill the individual subprocesses by hand as - well. + It is best not to use <systemitem>SIGKILL</systemitem> to shut down the + server. Doing so will prevent the server from releasing shared memory and + semaphores. Furthermore, <systemitem>SIGKILL</systemitem> kills + the <command>postgres</command> process without letting it relay the + signal to its subprocesses, so it might be necessary to kill the + individual subprocesses by hand as well. </para> </important> |