On Fri, Feb 15, 2019 at 2:31 AM Sergei Kornilov <s...@zsrv.org> wrote: > I can not reproduce bug after 30min test long. (without patch bug was after > minute-two)
Thank you Justin and Sergei for all your help reproducing and testing this. Fix pushed to all supported releases. It's lightly refactored from the version I posted yesterday. Just doing s/break/continue/ made for a cute patch, but this way the result is easier to understand IMHO. I also didn't bother with the non-essential change. -- Thomas Munro http://www.enterprisedb.com
