Fix instructions how to shut down postmaster.

diff --git a/INSTALL b/INSTALL
index ac09dfae99ab04dc604d6bfb45a9243787aa7dd6..50cc2dcccffd680553be1273a4b56f68b831d04c 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -192,7 +192,7 @@ Substitute your paths appropriately.
       then shut down the old server, at the latest before you install the new
       files:
 
-        kill -INT `cat /usr/local/pgsql/data/postmaster.pid`
+        kill -INT `cat /usr/local/pgsql/data/postmaster.pid | sed 1q`
 
       Versions prior to 7.0 do not have this "postmaster.pid" file. If you are
       using such a version you must find out the process ID of the server

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index aef27b645d317558d9ba7bfff8d58e3f7218d2da..9027e08d908cf07e15d9267a8763a567cdbc414e 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1,4 +1,4 @@
-<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.177.2.6 2003/11/26 15:57:22 petere Exp $ -->
+<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.177.2.7 2003/12/11 19:57:24 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