On Thu, Feb 1, 2018 at 9:48 PM, Amit Kapila <amit.kapil...@gmail.com> wrote:
> On Thu, Feb 1, 2018 at 9:09 PM, Robert Haas <robertmh...@gmail.com> wrote:
>> On Wed, Jan 31, 2018 at 10:08 PM, Amit Kapila <amit.kapil...@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.

Committed.  Now, on to the main event!

Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company

Reply via email to