[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66381: 29.1; Auto-revert not polling files when notifications are en
From: |
Eli Zaretskii |
Subject: |
bug#66381: 29.1; Auto-revert not polling files when notifications are enabled |
Date: |
Sat, 07 Oct 2023 22:00:39 +0300 |
> From: Daniel Jacobowitz <daniel.jacobowitz@gmail.com>
> Date: Sat, 7 Oct 2023 14:41:35 -0400
> Cc: michael.albinus@gmx.de, 66381@debbugs.gnu.org
>
> In auto-revert-handler:
> https://git.savannah.gnu.org/cgit/emacs.git/tree/lisp/autorevert.el#n779
>
> (if buffer-file-name
> (and (or auto-revert-remote-files
> (not (file-remote-p buffer-file-name)))
> (or (not auto-revert-notify-watch-descriptor)
> auto-revert-notify-modified-p)
> (if auto-revert-tail-mode
> (and (file-readable-p buffer-file-name)
> (/= auto-revert-tail-pos
> (setq size
> (file-attribute-size
> (file-attributes buffer-file-name)))))
> (funcall (or buffer-stale-function
> #'buffer-stale--default-function)
> t)))
>
> When buffer-file-name, revert is true iff:
>
> 1. auto-revert-remote-files or the file is not remote
> AND 2. there is no watch descriptor or a notification was received
> AND 3. some details about auto-revert-tail-mode OR t
>
> If auto-revert-notify-watch-descriptor and not
> auto-revert-notify-modified-p, then the file won't be reverted.
> auto-revert-handler does get called by the polling timer, but it
> doesn't revert.
That's not what your sentence said, which I said wasn't true. You
said something much more radical:
The implementation does not poll if there's a notification registered.
Moreover, the documentation says that "polling is used even if
notifications are enabled", and that is true regardless of whether the
file is actually reverted or not.
IOW, the documentation describes the usual case, where notifications
are enabled and the watch descriptor is valid. It says nothing at all
about your situation.
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Daniel Jacobowitz, 2023/10/06
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Eli Zaretskii, 2023/10/07
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Michael Albinus, 2023/10/07
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Daniel Jacobowitz, 2023/10/07
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Michael Albinus, 2023/10/07
- Message not available
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Michael Albinus, 2023/10/07
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Daniel Jacobowitz, 2023/10/07
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Eli Zaretskii, 2023/10/07
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Daniel Jacobowitz, 2023/10/07
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled,
Eli Zaretskii <=
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Michael Albinus, 2023/10/08
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Michael Albinus, 2023/10/08
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Daniel Jacobowitz, 2023/10/09
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Michael Albinus, 2023/10/10
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Eli Zaretskii, 2023/10/13
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Michael Albinus, 2023/10/15
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Eli Zaretskii, 2023/10/16
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Michael Albinus, 2023/10/16
- bug#66381: 29.1; Auto-revert not polling files when notifications are enabled, Daniel Jacobowitz, 2023/10/07