summaryrefslogtreecommitdiff
path: root/doc/src
diff options
context:
space:
mode:
authorPeter Eisentraut <peter_e@gmx.net>2003-12-11 19:56:54 +0000
committerPeter Eisentraut <peter_e@gmx.net>2003-12-11 19:56:54 +0000
commit60425f39c3234e909d0a9dcd9ebe227ec4ab4bc7 (patch)
tree21dbae1ff0ea726bd0894e0b1cf7e9a4205b4daf /doc/src
parent742ca2e05798c9824ada4486873d5b239ee6f27c (diff)
Fix instructions how to shut down postmaster.
Diffstat (limited to 'doc/src')
-rw-r--r--doc/src/sgml/installation.sgml4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 77c472540fe..26cc7add5d6 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1,4 +1,4 @@
-<!-- $PostgreSQL: pgsql/doc/src/sgml/installation.sgml,v 1.187 2003/11/29 19:51:37 pgsql Exp $ -->
+<!-- $PostgreSQL: pgsql/doc/src/sgml/installation.sgml,v 1.188 2003/12/11 19:56:54 petere Exp $ -->
<chapter id="installation">
<title><![%standalone-include[<productname>PostgreSQL</>]]>
@@ -423,7 +423,7 @@ JAVACMD=$JAVA_HOME/bin/java
old one then shut down the old server, at the latest before you
install the new files:
<screen>
-<userinput>kill -INT `cat /usr/local/pgsql/data/postmaster.pid`</>
+<userinput>kill -INT `cat /usr/local/pgsql/data/postmaster.pid | sed 1q`</>
</screen>
Versions prior to 7.0 do not have this
<filename>postmaster.pid</> file. If you are using such a version