aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian <bruce@momjian.us>2004-05-27 03:50:25 +0000
committerBruce Momjian <bruce@momjian.us>2004-05-27 03:50:25 +0000
commitd157b7bbc74643dc7459b813d9ed073a629ecd8a (patch)
treee98e27a91b556a07c7fdfa5de45536f4afdfcd4c
parentf3d6d948c7b4ef199452c33db3e8fdbb9ccacd17 (diff)
downloadpostgresql-d157b7bbc74643dc7459b813d9ed073a629ecd8a.tar.gz
postgresql-d157b7bbc74643dc7459b813d9ed073a629ecd8a.zip
Document new pg_ctl 'kill' command, specificially for Win32.
-rw-r--r--doc/src/sgml/ref/pg_ctl-ref.sgml13
1 files changed, 12 insertions, 1 deletions
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">