pg_ctl idempotent option

Peter Eisentraut <peter_e@gmx.net>

From: Peter Eisentraut <peter_e@gmx.net>
To: pgsql-hackers@postgresql.org
Date: 2013-01-14T11:37:58Z
Lists: pgsql-hackers

Attachments

Here is a patch to add an option -I/--idempotent to pg_ctl, the result
of which is that pg_ctl doesn't error on start or stop if the server is
already running or already stopped.

The previous discussion was at
<http://www.postgresql.org/message-id/1253165415.18853.32.camel@vanquo.pezone.net>.