| commit | 477398c87a82d7f61ac1492face747daee1e4e90 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Tue, 3 Dec 2019 07:43:22 +0000 (2 23:43 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 3 Dec 2019 07:48:44 +0000 (2 23:48 -0800) | ||
| tree | 61baa88495fd39b9d8e740e5355aa8e4909b00d3 | treesnapshot (tar.gz zip) |
| parent | 35a84101b36d00f9176c2a7acddc9f6b313c0008 | commitdiff |
remove log on worker memory cap
Summary:
Currently, if you pass `--profile-log`, then workers will print to stderr when they terminate due to memory-cap.
We haven't been paying attention to those messages, and have no plans to gather telemetry on them, so I figure might as well just remove it.
Reviewed By: 2BitSalute
Differential Revision: D18747160
fbshipit-source-id: 0b19bfcd61c77c717f919f8627d18f1495c3fc6c
Summary:
Currently, if you pass `--profile-log`, then workers will print to stderr when they terminate due to memory-cap.
We haven't been paying attention to those messages, and have no plans to gather telemetry on them, so I figure might as well just remove it.
Reviewed By: 2BitSalute
Differential Revision: D18747160
fbshipit-source-id: 0b19bfcd61c77c717f919f8627d18f1495c3fc6c
| hphp/hack/src/typing/typing_check_service.ml | diffblobblamehistory |