Update trie search when fuzzy search is off
commit8d3460eb8696c9cbba4556a794e23b814cdba80f
authorJingze Wu <jjwu@fb.com>
Mon, 31 Oct 2016 20:24:21 +0000 (31 13:24 -0700)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Mon, 31 Oct 2016 20:38:22 +0000 (31 13:38 -0700)
tree4f1c094b804ec3dae36169a89502e68d70605431
parentd7708c0d7815d2ad0d726a87c828135eb8cf3b3c
Update trie search when fuzzy search is off

Summary: We weren't updating the trie service before since the trie service was completely covered by fuzzy service. Disabling fuzzy service, therefore, resulted in the trie service not having anything in its data structure. This fixes the problem on workerapi.

Reviewed By: dabek

Differential Revision: D4090578

fbshipit-source-id: 4644e397dcab718f651bbe69663d076ed2b8ec3d
hphp/hack/src/search/hackSearchService.ml
hphp/hack/src/search/searchService.ml
hphp/hack/src/search/trieSearchService.ml