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

From: Michael Albinus <[email-masked]>
Date: Sat, 16 Apr 2016 22:35:17 +0200

Eli Zaretskii <[email-masked]> 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.