summaryrefslogtreecommitdiff
path: root/tools/merge_fetch.py
Commit message (Expand)AuthorAgeFilesLines
* Allow optional reading only for optional configuration keysMagnus Ahltorp2017-07-261-1/+1
* Remove erroneous 'filedb' db name from python mergeMagnus Ahltorp2017-07-261-1/+1
* Change paths/mergedb to paths/db in local configMagnus Ahltorp2017-07-251-2/+2
* Added benchmark reporting.Magnus Ahltorp2017-07-061-2/+44
* Added heartbeat service. Add source.Magnus Ahltorp2017-03-151-4/+5
* Rename to statusserverMagnus Ahltorp2017-03-151-7/+7
* StatusserverMagnus Ahltorp2017-03-151-3/+41
* Handle unreachable storage nodesMagnus Ahltorp2017-03-021-8/+15
* Parallelised merge, distribution phase.erlmerge_distLinus Nordberg2017-02-011-1/+1
* Update copyright headers.Linus Nordberg2017-01-121-1/+1
* Add a bit of documentation.Linus Nordberg2016-11-251-1/+4
* Use sessions in merge_fetchMagnus Ahltorp2016-11-181-14/+16
* Added permdb support to mergeMagnus Ahltorp2016-07-111-4/+5
* Remove debug printouts from merge programs.Linus Nordberg2015-11-201-1/+1
* Fix _args -> args since we now use it.Linus Nordberg2015-11-101-1/+1
* Print the string "timing" and the name of the program in merge timing info.Linus Nordberg2015-11-101-1/+1
* Print timing information in merge_fetch too.Linus Nordberg2015-11-101-0/+4
* Merge is now run by shell script tools/merge.Linus Nordberg2015-11-101-12/+36
* Split merge.py into three pieces.Linus Nordberg2015-11-101-0/+97
generated by cgit v1.1 at 2024-12-28 06:03:58 +0000