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.'
