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
