3 Commits

Author	SHA1	Message	Date
Fangrui Song	0b80a10ca1	Delay requests if the document has not not indexed (#176) ... This fixes a plethora of "not indexed" errors when the document has not been indexed. * Message handler throws NotIndexed if not overdue * The message is put into backlog and tagged with backlog_path * path2backlog[path] tracks backlog associated with document `path` * The backlog is cleared when the index is merged * backlog[0] is forced to run if it becomes overdue	2019-01-27 10:31:12 +08:00
Fangrui Song	df7221affc	Rendezvous after receiving "exit" notification (#159)	2019-01-12 00:40:49 +08:00
Fangrui Song	df20969788	*.h -> *.hh	2019-01-09 15:19:23 +08:00