On Wed, Nov 20, 2019 at 5:44 PM Amit Kapila <amit.kapila16@gmail.com> wrote:
> On Wed, Nov 20, 2019 at 12:28 AM Thomas Munro <thomas.munro@gmail.com> wrote:
> > + if (GetLastError() == ERROR_HANDLE_EOF)
> > + return 0;
> Yes, this works for me.
Thanks, pushed.