On Thu, May 29, 2014 at 06:56:36AM +0200, Michael Wood wrote:
> On 29 May 2014 12:56 AM, "Wagner Patriota" <wagner.patriota_at_gmail.com> wrote:
> >
> > I can't fsync() a FILE* ... does anybody have any hint on what can be done
> here?
>
> Try flush() or fflush()?

Those don't do the same as fsync; the latter is a kernel call.
fsync(fileno(my_file)) would work. But if this fixes it, it's clearly a kernel
bug.

>>> Dan
-------------------------------------------------------------------
List admin: http://cool.haxx.se/list/listinfo/curl-library
Etiquette: http://curl.haxx.se/mail/etiquette.html
Received on 2014-05-29