Remote typing check service
commite47801c46e614378a4629868ea0f7b809ab1b3ba
authorTatiana Racheva <tatianaracheva@fb.com>
Sat, 27 Jul 2019 05:55:26 +0000 (26 22:55 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Sat, 27 Jul 2019 05:59:25 +0000 (26 22:59 -0700)
tree3325331b7aedad030334739e69a687980d9dcca0
parent8f89f2c0d7be26e5821e715909b06b861e56692a
Remote typing check service

Summary: Named by the analog to the (local) `Typing_check_service` - it's used by the devserver side to delegate type checking to remote workers instead of the local MultiWorker workers.

Reviewed By: jewelpit

Differential Revision: D16146599

fbshipit-source-id: da6905c3936997c5f0932e4b09af96721230bd03
hphp/hack/src/server/serverCheckUtils.ml
hphp/hack/src/server/serverInitCommon.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/src/stubs/dune
hphp/hack/src/stubs/remoteScheduler.ml [new file with mode: 0644]
hphp/hack/src/typing/dune
hphp/hack/src/typing/typing_remote_check_service.ml [new file with mode: 0644]