Fix instructions how to shut down postmaster.

diff --git a/INSTALL b/INSTALL
index b3307f34f3484c0b1261002a9d7c609516386299..43d06c5787adfc7b1a307ea7ae32e61f12063c9f 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 77c472540fef3034b28e666fa629da3ba2756b52..26cc7add5d6f355f5b8fb564a807ca6bd8258f5d 100644 (file)
--- 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