bug#35418: [PATCH] Don't poll auto-revert files that use notification

[Mattias Engdegård]

4 maj 2019 kl. 18.53 skrev Michael Albinus <michael.albinus@gmx.de>:
> 
> Maybe we could also add the other major reason why polling is necessary:
> file notification is not supported for all types of remote file systems
> (Tramp).

Is the problem that notification over Tramp may fail to activate or suddenly 
fail functioning, in both cases without any indication of error to file-notify?

If so, we should take care of this in code instead. Assuming the above, I 
suggest that file-notify consider all notification from file name handlers to 
be unreliable, and provide an interface to auto-revert, which will then keep 
polling those files.