bug#23276: 25.0.92; Crash in auto-revert when file no longer present

[Michael Albinus]

Eli Zaretskii <eliz@gnu.org> writes:

> It should have a comment explaining why errors are being ignored.

OK.

> And I still am not convinced that deleting a file under auto-revert
> shouldn't erase its buffer.  Otherwise, it sounds like just
> half-auto-revert to me.

What if we simply disable auto-revert-mode in this case? The user sees
that the lighter "ARev" has been removed, and she knows that things have
changed.

> Would we keep the buffer non-empty if the file existed but was empty?

Yes.

> Thanks.

Best regards, Michael.