def _finish(self): deletefilename = self.filename + '.delete' if not isfile(deletefilename): writeIds(deletefilename, set(readIds(self.oldfilename)) - set(readIds(self.filename))) self._delete(deletefilename) remove(self.oldfilename) remove(deletefilename) return DONE
def _smoothinit(self): if isfile(self.filename): writeIds(self.oldfilename, set(readIds(self.filename) + readIds(self.invalidIdsFilename))) writeIds(self.filename, set()) else: open(self.oldfilename, 'w').close() d = self._createDeleteIds() d.markDeleted() return 'initialized.'