summaryrefslogtreecommitdiff
path: root/ghci
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2017-09-04 14:33:09 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2017-09-04 14:39:32 -0400
commit25ed1e54abcc25f729fed016ec77a8cd049142fa (patch)
treef6130202fc2f23a6b641f8646705c900b757a012 /ghci
parent3db6fd7621d3fa57bebfea216019e522f6d8d781 (diff)
use export db to correctly handle duplicate files
Removed uncorrect UniqueKey key in db schema; a key can appear multiple times with different files. The database has to be flushed after each removal. But when adding files to the export, lots of changes are able to be queued up w/o flushing. So it's still fairly efficient. If large removals of files from exports are too slow, an alternative would be to make two passes over the diff, one pass queueing deletions from the database, then a flush and the a second pass updating the location log. But that would use more memory, and need to look up exportKey twice per removed file, so I've avoided such optimisation yet. This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'ghci')
0 files changed, 0 insertions, 0 deletions