Thread init/recheck IDs to ServerApi
commitbf57578951c914329307991dc0c221aeff6d88de
authorTatiana Racheva <tatianaracheva@fb.com>
Tue, 17 Mar 2020 22:44:03 +0000 (17 15:44 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 17 Mar 2020 22:59:06 +0000 (17 15:59 -0700)
tree7f0f5a34c71b48900db26da538a38614831a1321
parentdb7a6ab0b4eecb13a5b92902af716ee3fb7daffd
Thread init/recheck IDs to ServerApi

Summary: By oversight, after the rewrite, I wasn't using the real init/recheck IDs in the remote type checking scenarios and generating random IDs. This makes it impossible to correlate events belonging to the same recheck between different hosts.

Reviewed By: yinghuitan

Differential Revision: D19849717

fbshipit-source-id: 3fa9e64fc6aad137838a7b4c9e8daa7429447527
hphp/hack/src/hh_bulk_check.ml
hphp/hack/src/server/serverApi.ml
hphp/hack/src/server/serverInit.ml
hphp/hack/src/server/serverRemoteInit.ml
hphp/hack/src/server/serverRemoteInit.mli
hphp/hack/src/stubs/remoteWorker.ml