Update Hack server view of the world with synchronized data
commit5d428351b2c59f1701e3c9613ed0493a714a73ff
authorYue Li <yueli@fb.com>
Fri, 5 Aug 2016 00:04:25 +0000 (4 17:04 -0700)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Fri, 5 Aug 2016 00:08:00 +0000 (4 17:08 -0700)
tree38e9f141f42bbad896d8c108e196d91831d88045
parent2aef736eb0ded4675f485ce090b3861bc62cf833
Update Hack server view of the world with synchronized data

Summary:
- Maintain the server state for file sync commands
- Parse the synchronized file contents separately
- Also update the [[ https://fb.quip.com/FjOoARaKJq8e | server state ]] document accordingly

Reviewed By: dabek

Differential Revision: D3580756

fbshipit-source-id: 1dc0f9e07fe85f8687c3ad600e1d557eb0bd8945
hphp/hack/src/parsing/parsing_service.ml
hphp/hack/src/parsing/parsing_service.mli
hphp/hack/src/server/serverInit.ml
hphp/hack/src/server/serverMain.ml
hphp/hack/src/server/serverRpc.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/src/utils/file_content.ml
hphp/hack/src/utils/file_content.mli