3 Commits

Author	SHA1	Message	Date
Fangrui Song	36f7775a67	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-10-24 18:37:55 -07:00
Fangrui Song	7b6768fd1c	Rendezvous after receiving "exit" notification (#159)	2019-10-24 18:37:55 -07:00
Fangrui Song	e3a2f1a9a8	*.h -> *.hh	2019-10-24 18:37:54 -07:00