##// END OF EJS Templates
dirstate: flush _lastnormal when we see newer filesystem times
Matt Mackall -
r13735:ce341da8 default
parent child Browse files
Show More
@@ -50,6 +50,7 b' class dirstate(object):'
50 self._dirty = False
50 self._dirty = False
51 self._dirtypl = False
51 self._dirtypl = False
52 self._lastnormal = set() # files believed to be normal
52 self._lastnormal = set() # files believed to be normal
53 self._lastnormaltime = None
53 self._ui = ui
54 self._ui = ui
54
55
55 @propertycache
56 @propertycache
@@ -290,6 +291,9 b' class dirstate(object):'
290 # process modifies it without changing its size before the clock
291 # process modifies it without changing its size before the clock
291 # ticks over to the next second, then it won't be clean anymore.
292 # ticks over to the next second, then it won't be clean anymore.
292 # So make sure that status() will look harder at it.
293 # So make sure that status() will look harder at it.
294 if self._lastnormaltime < s.st_mtime:
295 self._lastnormaltime = s.st_mtime
296 self._lastnormal = set()
293 self._lastnormal.add(f)
297 self._lastnormal.add(f)
294
298
295 def normallookup(self, f):
299 def normallookup(self, f):
General Comments 0
You need to be logged in to leave comments. Login now