eol: cache needs update, also if it has same timestamp as the source
authorMads Kiilerich <mads@kiilerich.com>
Sun, 13 Oct 2019 02:11:33 +0200
changeset 43204 fd8c3f59b544
parent 43203 d38f9117ee15
child 43205 dfaa477e37a8
eol: cache needs update, also if it has same timestamp as the source Ignoring same timestamp could (in theory?) cause changes to not be detected. It might happen quite often that the cache is populated right after .hgeol has been updated and they thus have the same time stamp second. But we want correctness, and if it populates the cache so fast, then it can also not be a big problem to run it again next time when the timestamp has moved on.
hgext/eol.py
--- a/hgext/eol.py	Mon Oct 14 01:33:18 2019 +0200
+++ b/hgext/eol.py	Sun Oct 13 02:11:33 2019 +0200
@@ -401,7 +401,7 @@
             except OSError:
                 eolmtime = 0
 
-            if eolmtime > cachemtime:
+            if eolmtime >= cachemtime and eolmtime > 0:
                 self.ui.debug(b"eol: detected change in .hgeol\n")
 
                 hgeoldata = self.wvfs.read(b'.hgeol')