Load naming table.
commit8a9b2b1a1a46ae40452e64c0b479534cfeaab43e
authorJulia Pitts <jupi@fb.com>
Fri, 2 Aug 2019 16:38:29 +0000 (2 09:38 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 2 Aug 2019 16:44:11 +0000 (2 09:44 -0700)
tree557e2187c6b59831ffe550f3c6f761e50a25167d
parentd44cd62ed2e23a61033c9597bb69d46522286415
Load naming table.

Summary: This change adds naming table saved state loading to hh_server.  We load the saved state in tandem with the regular one (mostly, we currently only step futures continuations when either `is_ready` or `get` are called), then add the list of changed files it returns to our list of files that need to be re-named.

Differential Revision: D16467284

fbshipit-source-id: 1b8073712f0b09e4d063679e2f259b904e2c87e7
hphp/hack/src/search/dune
hphp/hack/src/server/serverCheckUtils.ml
hphp/hack/src/server/serverInitTypes.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/stubs/state_loader_futures.ml