3 Commits

Author	SHA1	Message	Date
Fangrui Song	47479e1cb8	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 * The message is put into backlog and tagged with backlog_path * path2backlog keeps backlog associated with a document and a merged index clears the backlog * backlog[0] is forced to run if it becomes overdue	2019-01-16 00:04:24 +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