hgext/eol.py
changeset 43204 fd8c3f59b544
parent 43203 d38f9117ee15
child 43205 dfaa477e37a8
equal deleted inserted replaced
43203:d38f9117ee15 43204:fd8c3f59b544
   399             try:
   399             try:
   400                 eolmtime = os.path.getmtime(self.wjoin(b".hgeol"))
   400                 eolmtime = os.path.getmtime(self.wjoin(b".hgeol"))
   401             except OSError:
   401             except OSError:
   402                 eolmtime = 0
   402                 eolmtime = 0
   403 
   403 
   404             if eolmtime > cachemtime:
   404             if eolmtime >= cachemtime and eolmtime > 0:
   405                 self.ui.debug(b"eol: detected change in .hgeol\n")
   405                 self.ui.debug(b"eol: detected change in .hgeol\n")
   406 
   406 
   407                 hgeoldata = self.wvfs.read(b'.hgeol')
   407                 hgeoldata = self.wvfs.read(b'.hgeol')
   408                 neweol = eolfile(self.ui, self.root, hgeoldata)
   408                 neweol = eolfile(self.ui, self.root, hgeoldata)
   409 
   409