Re: [bug fix] pg_ctl always uses the same event source

Amit Kapila <amit.kapila16@gmail.com> writes:
> On Wed, Jan 22, 2014 at 6:54 PM, Robert Haas <robertmhaas@gmail.com> wrote:
>> I wonder if the port number wouldn't be a better choice.  And that
>> could even be done without adding a parameter.

> We need this for register of event source which might be done before
> start of server.

So?  Anything which can know the value of a GUC parameter can certainly
know the selected port number.
        regards, tom lane