On Thu, Feb 1, 2018 at 9:09 PM, Robert Haas <robertmhaas@gmail.com> wrote:
> On Wed, Jan 31, 2018 at 10:08 PM, Amit Kapila <amit.kapila16@gmail.com> wrote:
>> I think suggesting to use this API to wait "for a specific worker"
>> doesn't seem like a good idea as it doesn't have any such provision.
>
> I see your point, but in the absence of a more specific API it could
> be used that way, and it wouldn't be unreasonable. Just might wait a
> little longer than absolutely necessary.
>
Fair enough, you can proceed with the patch.
--
With Regards,
Amit Kapila.
EnterpriseDB: http://www.enterprisedb.com