From d157b7bbc74643dc7459b813d9ed073a629ecd8a Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Thu, 27 May 2004 03:50:25 +0000
Subject: [PATCH] Document new pg_ctl 'kill' command, specificially for Win32.

---
 doc/src/sgml/ref/pg_ctl-ref.sgml | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/doc/src/sgml/ref/pg_ctl-ref.sgml b/doc/src/sgml/ref/pg_ctl-ref.sgml
index 2145d93946..1987e7a273 100644
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -1,5 +1,5 @@
 <!--
-$PostgreSQL: pgsql/doc/src/sgml/ref/pg_ctl-ref.sgml,v 1.26 2004/05/14 20:01:19 momjian Exp $
+$PostgreSQL: pgsql/doc/src/sgml/ref/pg_ctl-ref.sgml,v 1.27 2004/05/27 03:50:25 momjian Exp $
 PostgreSQL documentation
 -->
 
@@ -65,6 +65,11 @@ PostgreSQL documentation
    <command>pg_ctl</command>
    <arg choice="plain">status</arg>
    <arg>-D <replaceable>datadir</replaceable></arg>
+   <sbr>
+   <command>pg_ctl</command>
+   <arg choice="plain">kill</arg>
+   <arg><replaceable>signal_name</replaceable></arg>
+   <arg><replaceable>process_id</replaceable></arg>
   </cmdsynopsis>
  </refsynopsisdiv>
 
@@ -131,6 +136,12 @@ PostgreSQL documentation
    and the command line options that were used to invoke it are
    displayed.
   </para>
+
+  <para>
+   <option>kill</option> mode allows you to send a signal to a specified
+    process.  This is particularly valuable for <productname>MS Windows</>
+    which does not have a <application>kill</> command.
+  </para>
  </refsect1>
 
  <refsect1 id="app-pg-ctl-options">
-- 
2.40.0