| changeset 19 | 12360c04fa48 |
| parent 15 | 6daf7757e92b |
| child 20 | a664c2b624cf |
| 18:2fd3e1e3783f | 19:12360c04fa48 |
|---|---|
188 def remove(self, files): |
188 def remove(self, files): |
189 if not files: return |
189 if not files: return |
190 self.read() |
190 self.read() |
191 self.dirty = 1 |
191 self.dirty = 1 |
192 for f in files: |
192 for f in files: |
193 try: del self[f] |
193 try: del self.map[f] |
194 except: pass |
194 except KeyError: pass |
195 |
195 |
196 def clear(self): |
196 def clear(self): |
197 self.map = {} |
197 self.map = {} |
198 self.dirty = 1 |
198 self.dirty = 1 |
199 |
199 |