diff options
| -rw-r--r-- | INSTALL | 2 | ||||
| -rw-r--r-- | doc/src/sgml/installation.sgml | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -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 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 |