On Wed, Nov 20, 2019 at 5:44 PM Amit Kapila <[email protected]> wrote:
> On Wed, Nov 20, 2019 at 12:28 AM Thomas Munro <[email protected]> wrote:
> > +               if (GetLastError() == ERROR_HANDLE_EOF)
> > +                       return 0;

> Yes, this works for me.

Thanks, pushed.


Reply via email to