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