On Wed, Sep 12, 2018 at 5:46 AM, Thomas Stüfe <thomas.stu...@gmail.com> wrote: > On Wed, Sep 12, 2018 at 2:30 PM, Martin Buchholz <marti...@google.com> wrote:
> Btw, should I retry the readdir() on EINTR? If I read http://pubs.opengroup.org/onlinepubs/9699919799/functions/readdir.html correctly, then readdir should never fail with EINTR