3 Commits

Author	SHA1	Message	Date
Fangrui Song	8835a555f8	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-11-09 20:09:13 -08:00
Fangrui Song	20e0beb9f3	Rendezvous after receiving "exit" notification (#159)	2019-11-09 20:09:13 -08:00
Fangrui Song	bbce333042	*.h -> *.hh	2019-11-09 20:09:13 -08:00