don't log on lazy checks
commit945c8deadaf621250c4cfc31a7275efde735c911
authorLucian Wischik <ljw@fb.com>
Tue, 4 Aug 2020 17:25:45 +0000 (4 10:25 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 4 Aug 2020 18:02:37 +0000 (4 11:02 -0700)
treebda032c6a0b5b30b7dbdda0caaa809e1a060559a
parent46ed6e94c8b7f2862beee3bac7900a73923e9256
don't log on lazy checks

Summary:
The diffstack has caused the "telemetry" object to grow enormously.

Now I'm having cold feet about sending it to HackEventLogger for every single keystroke.

Therefore, this diff changes it so we only log the full telemetry object on every full check; not on the lazy checks.

Reviewed By: 2BitSalute

Differential Revision: D22913848

fbshipit-source-id: e7a4ba8caf1fd48dabbe8994e993b1b81b9fbba1
hphp/hack/src/server/serverEnv.ml
hphp/hack/src/server/serverInitCommon.ml
hphp/hack/src/server/serverMain.ml
hphp/hack/src/server/serverTypeCheck.ml