equal
deleted
inserted
replaced
139 else: |
139 else: |
140 s = os.stat(os.path.join(self.root, f)) |
140 s = os.stat(os.path.join(self.root, f)) |
141 st_size = kw.get('st_size', s.st_size) |
141 st_size = kw.get('st_size', s.st_size) |
142 st_mtime = kw.get('st_mtime', s.st_mtime) |
142 st_mtime = kw.get('st_mtime', s.st_mtime) |
143 self.map[f] = (state, s.st_mode, st_size, st_mtime) |
143 self.map[f] = (state, s.st_mode, st_size, st_mtime) |
|
144 if self.copies.has_key(f): |
|
145 del self.copies[f] |
144 |
146 |
145 def forget(self, files): |
147 def forget(self, files): |
146 if not files: return |
148 if not files: return |
147 self.read() |
149 self.read() |
148 self.markdirty() |
150 self.markdirty() |