Re: pg_ctl idempotent option

<div dir="ltr">On Mon, Jan 14, 2013 at 4:22 PM, Tom Lane <span dir="ltr"><<a href="mailto:tgl@sss.pgh.pa.us"
target="_blank">tgl@sss.pgh.pa.us</a>></span>wrote:<br /><div class="gmail_extra"><div
class="gmail_quote"><blockquoteclass="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc
solid;padding-left:1ex">Peter Eisentraut <<a href="mailto:peter_e@gmx.net">peter_e@gmx.net</a>> writes:<br />
>Here is a patch to add an option -I/--idempotent to pg_ctl, the result<br /> > of which is that pg_ctl doesn't
erroron start or stop if the server is<br /> > already running or already stopped.<br /><br /> Idempotent is a
ten-dollarword.  Can we find something that average<br /> people wouldn't need to consult a dictionary to
understand?<br/></blockquote></div><br /></div><div class="gmail_extra">I disagree that we should dumb things down when
theword means exactly what we want and based on the rest of this thread is the only word or word cluster that carries
thedesired meaning.<br /><br /></div>I vote to keep --idempotent.<br /><div class="gmail_extra"><br /></div><div
class="gmail_extra">Vik<br/></div></div>