Bjoern Rabenstein baca6faa1c Add double-start protection. ... This mimics the locking leveldb is performing anyway. Advantages of doing it separately: - Should we ever replace the leveldb implementation by one without double-start protection, we are still good. - In contrast to leveldb, the new code creates a meaningful error message.		2015-01-14 17:13:42 +01:00
..
local	Add double-start protection.	2015-01-14 17:13:42 +01:00
metric	Introduce copy-on-write for metrics in AST.	2014-12-12 20:34:55 +01:00
remote	Adjust the partitioning by outcome.	2015-01-13 18:34:56 +01:00