decouple download and update utilities
commit994d821d4fa81ebee613ce45b30bd079d0fefda4
authorMillie Chen <milliechen@meta.com>
Tue, 18 Oct 2022 16:26:17 +0000 (18 09:26 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 18 Oct 2022 16:26:17 +0000 (18 09:26 -0700)
treeff88494c26f3f52b86ab70aabee0de2124d14391
parentf74f8e77703e0f5f5fc8fe86de0eef28e139adc1
decouple download and update utilities

Summary: Use one naming table download function for both full init and saved state init, and call `update_naming_table` on the result obtained.

Reviewed By: bobrenjc93

Differential Revision: D40457370

fbshipit-source-id: 57b66abe5be20590e6d632c2f9ddc3d41a192edc
hphp/hack/src/server/serverApi.ml
hphp/hack/src/stubs/remoteWorker.ml
hphp/hack/src/typing/service/typing_service_types.ml