Re: File watch support in autorevert.el

[Michael Albinus]

Eli Zaretskii <address@hidden> writes:

> Maybe I'm missing something, but the above example is not the issue at
> hand.  The issue at hand is to have several separate writes to a file
> with some significant time between them.  AFAIU, in the above example
> the file is written once and then closed.

You are right, I was thinking the wrong direction. 

So we must use `modify' (and maybe `close-write') for inotify, and
`size' and `last-write-time' for w32notify. The problem is, that the
events are coming randomly, and one must decide whether the correct
handling has been performed already.

It does not make sense to revert a file twice, just because 2 different
events indicate the same change. Yes, the timer makes sense.

Best regards, Michael.