Eric Mc Sween d9caced0d6 Change skip_flush option to ignore_flush_errors in delete doc ... Instead of skipping the flush, we'll still try to flush and proceed with the doc deletion, even when the flush fails.		2020-03-10 09:40:49 -04:00
..
DiffCodec
DispatchManager	[misc] test/unit: stub the correct redis settings	2020-02-07 12:24:57 +01:00
DocumentManager	Change skip_flush option to ignore_flush_errors in delete doc	2020-03-10 09:40:49 -04:00
HistoryManager	add setting so that double flush is the default	2019-11-25 13:36:25 +00:00
HistoryRedisManager
HttpController	Change skip_flush option to ignore_flush_errors in delete doc	2020-03-10 09:40:49 -04:00
LockManager
PersistenceManager	add missing argument to metrics.inc	2020-01-14 15:00:21 +00:00
ProjectHistoryRedisManager
ProjectManager	Change skip_flush option to ignore_flush_errors in delete doc	2020-03-10 09:40:49 -04:00
RangesManager	Record a snapshot to mongo when a doc's comments/changes get collapsed	2019-04-11 13:27:46 +01:00
RateLimitManager	remove unused redis settings from rate limit unit test	2020-02-11 14:32:49 +00:00
RealTimeRedisManager	fix cluster/sentinel connection with real-time	2019-07-10 09:42:05 +01:00
RedisManager	[misc] tests: fix a static test	2020-02-07 12:36:46 +01:00
ShareJS
ShareJsDB
ShareJsUpdateManager	add unit tests	2019-06-11 16:33:14 +01:00
UpdateManager	Revert "skip hash check when non-BMP characters replaced"	2019-06-27 11:39:45 +01:00