On Wed, Nov 23, 2022 at 9:15 AM Thomas Munro <thomas.mu...@gmail.com> wrote:
> On Wed, Nov 23, 2022 at 2:09 PM Andres Freund <and...@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? -- Magnus Hagander Me: https://www.hagander.net/ <http://www.hagander.net/> Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>