user/linus/catlfish.git - Linus' CT repository

	Commit message (Expand)	Author	Age	Files	Lines
*	merge_dist: Prefix logging lines with nodename.	Linus Nordberg	2016-12-04	1	-12/+15
*	merge_backup, merge_dist: Bring child processes down on TERM.	Linus Nordberg	2016-12-03	1	-1/+8
*	Open permdb read-only in merge_backup and merge_dist.	Linus Nordberg	2016-12-03	1	-1/+2
*	merge_dist: Distribute independently to each frontend node.	Linus Nordberg	2016-12-03	1	-48/+77
*	Parallelise merge_dist.	Linus Nordberg	2016-11-30	1	-50/+81
*	Dedup log initialisation code.	Linus Nordberg	2016-11-28	1	-7/+2
*	Manual rebase onto master with map/robust-distribution.	Linus Nordberg	2016-11-25	1	-50/+67
*	Add a bit of documentation.	Linus Nordberg	2016-11-25	1	-1/+4
*	Change algorithm for merge backup and merge dist	Magnus Ahltorp	2016-11-02	1	-61/+79
*	Send list of entries to frontend	Magnus Ahltorp	2016-11-02	1	-20/+32
*	Added permdb support to merge	Magnus Ahltorp	2016-07-11	1	-3/+3
*	Print the string "timing" and the name of the program in merge timing info.	Linus Nordberg	2015-11-10	1	-1/+1
*	Fix harmless cut'n'paste bugs in merge.	Linus Nordberg	2015-11-10	1	-5/+5
*	merge_backup.py and merge_dist.py take nodes on command line.	Linus Nordberg	2015-11-10	1	-3/+8
*	Merge is now run by shell script tools/merge.	Linus Nordberg	2015-11-10	1	-48/+54
*	Get the imports correct.	Linus Nordberg	2015-11-10	1	-2/+2
*	Split merge.py into three pieces.	Linus Nordberg	2015-11-10	1	-0/+130