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.
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.