Generate sqlite file on demand
commit48c7f63e392b897a8b517b8fe8dace4e8a551df1
authorTed Spence <tspence@fb.com>
Fri, 10 May 2019 05:12:23 +0000 (9 22:12 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 10 May 2019 05:20:50 +0000 (9 22:20 -0700)
treedde7c548b3f438eaaa6259551aad64e0ca9448ec
parent01bb391b4da66aaf7b533d29a45f5d2c84c261ae
Generate sqlite file on demand

Summary:
During debugging, the sqlite symbol index is hard to test unless you can reliably get a symbol index for your repository.

I had previously been testing it by using separate commands, first using hh_global_index_builder to generate a file, then running hh_server and pointing it to the file to use for testing.

By enabling the program to build a sqlite symbol index on demand, it's much easier to test.  This also has the positive side effect that anyone outside of facebook (e.g. Fred Emmott and his contacts externally) would be able to use the new nifty autocomplete.

This will also enable users within facebook to continue to use autocomplete even if manifold crashes or if saved-states are broken for some reason.

Reviewed By: 2BitSalute

Differential Revision: D15251808

fbshipit-source-id: 1141dab625a043be4361980dc9254fb9a841a31c
hphp/hack/src/facts/symbols/apiExporter.ml
hphp/hack/src/facts/symbols/hhGlobalIndexBuilder.ml
hphp/hack/src/facts/symbols/indexBuilder.ml
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/search/dune
hphp/hack/src/search/sqliteSearchService.ml
hphp/hack/src/search/symbolIndex.ml
hphp/hack/src/search/symbolIndex.mli
hphp/hack/src/server/serverInit.ml
hphp/hack/test/integration_ml/integration_test_base.ml