Sarah Hoffmann c1fa70639b add new replication mode catch-up ... This mode gets updates until the server reports no new diffs anymore. Also adds additional indexing, when the main indexing step left a couple of objects to process. This happens only when the next update is expected to be more than 40min away.		2021-10-20 22:05:15 +02:00
..
__init__.py	indexer: move progress tracker into separate class	2020-08-03 10:32:39 +02:00
indexer.py	add new replication mode catch-up	2021-10-20 22:05:15 +02:00
place_info.py	export more data for the tokenizer name preparation	2021-09-29 11:54:14 +02:00
progress.py	more formatting fixes	2021-07-12 17:45:42 +02:00
runners.py	export more data for the tokenizer name preparation	2021-09-29 11:54:14 +02:00