On Fri, Feb 15, 2019 at 2:31 AM Sergei Kornilov <sk@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