From 60425f39c3234e909d0a9dcd9ebe227ec4ab4bc7 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Thu, 11 Dec 2003 19:56:54 +0000
Subject: [PATCH] Fix instructions how to shut down postmaster.

---
 INSTALL                        | 2 +-
 doc/src/sgml/installation.sgml | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/INSTALL b/INSTALL
index b3307f34f3..43d06c5787 100644
--- 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 77c472540f..26cc7add5d 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
-- 
2.40.0