code cleanup in serverLazyInit
commit87a03555606dc9a9ba938dffbae6f7f634a4ea70
authorLucian Wischik <ljw@fb.com>
Mon, 28 Jan 2019 19:25:19 +0000 (28 11:25 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 28 Jan 2019 19:39:17 +0000 (28 11:39 -0800)
tree3e5b0345a9f37691e3f67ed4c69db7ac6101fa89
parenteed3a0269642f9cadb8a2bbcb07987bd0c55db46
code cleanup in serverLazyInit

Summary:
Just some small cleanup...

(1) rename to `ServerLazyInit.saved_state_init` and `.full_init`

(2) Shifted the logic about reporting "Could not load saved state" out of `full_init` into its only caller, `saved_state_init`

(3) Remove unused parameters

(4) Moved the "Lazy_lev=Init, load_state_approach=None" logic out of serverLazyInit.saved_state_init, and into its caller ServerInit.

The end goal of this cleanup is to have functions with clear single purposes and names that reflect that, and to move the important strategic decisions about what to do about saved-state higher up the callstack.

Reviewed By: arxanas

Differential Revision: D13539901

fbshipit-source-id: 3aec58939675e0d5be3f2eb74726778f1b623332
hphp/hack/src/server/serverInit.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/server/serverLazyInit.mli