Re: INVALID index while concurrent indexing in progress?

2022-05-20 Thread Laurenz Albe
On Fri, 2022-05-20 at 10:30 +0200, Alvaro Herrera wrote: > > Anyway, I pushed the patch.  I appreciate your willingness to > collaborate and look forward to your future participation, for sure. Thanks! Laurenz Albe

Re: INVALID index while concurrent indexing in progress?

2022-05-20 Thread Alvaro Herrera
On 2022-May-20, Laurenz Albe wrote: > Alvaro meant that my message already contained a patch, so there is no need to > send another one, unless you have a different suggestion. Right. Being old-school, I can just save the email to a plain text file and do "patch < /tmp/emailfile". 'patch' has

Re: INVALID index while concurrent indexing in progress?

2022-05-20 Thread Laurenz Albe
On Fri, 2022-05-20 at 10:14 +0530, Rajakavitha Kodhandapani wrote: > On Thu, May 19, 2022 at 10:06 PM Alvaro Herrera > wrote: > > On 2022-May-19, Rajakavitha Kodhandapani wrote: > > > > > Thank you, Laurenz. The changes that you suggested make a lot more sense. > > > I will make the updates and