Check a subset of files when saving state
commitefcf601b129369cf652483f49760cb89454328d0
authorTatiana Racheva <tatianaracheva@fb.com>
Tue, 11 Jun 2019 22:44:56 +0000 (11 15:44 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Tue, 11 Jun 2019 22:48:57 +0000 (11 15:48 -0700)
tree7733eb591d4840c6b0d4d412f6041a3152d80e8d
parent2f8de01e30c8c150835c7b50fb554f7df7dc7c46
Check a subset of files when saving state

Summary: Use the save state spec introduced in the previous diff to filter parsed files to a subset. This allows in a later diff to save a partial state.

Differential Revision: D13027733

fbshipit-source-id: 8c6c1650771743842eae242b9c5732c6e916a881
hphp/hack/src/server/serverEnvBuild.ml
hphp/hack/src/server/serverInit.ml
hphp/hack/src/server/serverInitCommon.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/server/serverMain.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/src/typing/typing_check_service.ml
hphp/hack/test/integration/saved_state_test_driver.py
hphp/hack/test/integration/test_save_state.py
hphp/hack/test/integration_ml/test_interrupt.ml
hphp/hack/test/integration_ml/test_lazy_decl_idempotence.ml