| commit | f7319526b045379eff7974536f6ea44c0406f750 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Wed, 10 Jun 2020 05:12:26 +0000 (9 22:12 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 10 Jun 2020 05:26:43 +0000 (9 22:26 -0700) | ||
| tree | 0e063e0518a0616859534a84c9179e0cd40709cd | treesnapshot (tar.gz zip) |
| parent | dbebae856c386de35e55e1fd7a82f3e84cee8c46 | commitdiff |
clarify check kind in logs
Summary: Lots of people read the word "Full_check" in the logs and think it's doing a full init. That's not the case.
Reviewed By: CatherineGasnier
Differential Revision: D21883059
fbshipit-source-id: f47ec1f773b613e4a2f64084230f4b1648cdc695
Summary: Lots of people read the word "Full_check" in the logs and think it's doing a full init. That's not the case.
Reviewed By: CatherineGasnier
Differential Revision: D21883059
fbshipit-source-id: f47ec1f773b613e4a2f64084230f4b1648cdc695
| hphp/hack/src/server/serverTypeCheck.ml | diffblobblamehistory |