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 2145d939467..1987e7a2738 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">
--
GitLab