On Wed, Nov 23, 2022 at 2:09 PM Andres Freund <andres@anarazel.de> wrote: > It's a huge improvement here.
Same here. eelpout + elver looking good, just a fraction of a second hitting that web server each minute. Long polling will be better and shave off 30 seconds (+/- 30) on start time, but this avoids a lot of useless churn without even needing a local mirror. Thanks Andrew!
Are you saying you still think it's worth pursuing longpoll or similar methods for it, or that this is good enough?