Also log fanout filenames when fanout information logging is enabled
commit5f630eb9f946d0d34410b38deba6d8fc99eaf381
authorHenri Verroken <hverr@fb.com>
Tue, 12 Oct 2021 14:42:34 +0000 (12 07:42 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 12 Oct 2021 14:44:04 +0000 (12 07:44 -0700)
tree586254dea4db3c52cc3bccc05fef6d12dfd94fa8
parent921b66f4f5498a5bb65917dbedebd0c7f804c470
Also log fanout filenames when fanout information logging is enabled

Summary: When `--config log_categories=fanout_information`, hh_server will output all fanout hashes to the server logs when doing a lazy init. This diff will (in addition to the hashes) also log the actual filenames when the log category is enabled.

Reviewed By: CatherineGasnier

Differential Revision: D31572366

fbshipit-source-id: 9bd8ef96d977f0752b28cb5fe6be5e381cf531b8
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/server/serverTypeCheck.ml