summaryrefslogtreecommitdiff
path: root/tools/merge_dist.py
Commit message (Expand)AuthorAgeFilesLines
* Open permdb read-only in merge_backup and merge_dist.Linus Nordberg2016-12-031-1/+2
* merge_dist: Distribute independently to each frontend node.Linus Nordberg2016-12-031-48/+77
* Parallelise merge_dist.Linus Nordberg2016-11-301-50/+81
* Dedup log initialisation code.Linus Nordberg2016-11-281-7/+2
* Manual rebase onto master with map/robust-distribution.Linus Nordberg2016-11-251-50/+67
* Add a bit of documentation.Linus Nordberg2016-11-251-1/+4
* Change algorithm for merge backup and merge distMagnus Ahltorp2016-11-021-61/+79
* Send list of entries to frontendMagnus Ahltorp2016-11-021-20/+32
* Added permdb support to mergeMagnus Ahltorp2016-07-111-3/+3
* Print the string "timing" and the name of the program in merge timing info.Linus Nordberg2015-11-101-1/+1
* Fix harmless cut'n'paste bugs in merge.Linus Nordberg2015-11-101-5/+5
* merge_backup.py and merge_dist.py take nodes on command line.Linus Nordberg2015-11-101-3/+8
* Merge is now run by shell script tools/merge.Linus Nordberg2015-11-101-48/+54
* Get the imports correct.Linus Nordberg2015-11-101-2/+2
* Split merge.py into three pieces.Linus Nordberg2015-11-101-0/+130