Add logging for which file went missing on a file heap stale
commitd0a1a07a6bd79b35f4ca5e769a2eafd073f301ab
authorJames Wu <jjwu@fb.com>
Fri, 2 Dec 2016 23:14:18 +0000 (2 15:14 -0800)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Wed, 7 Dec 2016 20:39:34 +0000 (7 12:39 -0800)
tree2817d340ba1029e7d4dc5fd0029369835665dd1c
parent53e9f335c065ebe02b7075cb4aad4cab03381c84
Add logging for which file went missing on a file heap stale

Summary: The information isn't useful if file_heap_stale is working as intended, but it's good in case we have an unintended crash

Reviewed By: alexchow

Differential Revision: D4268468

fbshipit-source-id: e75bdce2a43f20165dda93c097ead15d677b62b7
hphp/hack/src/naming/namingGlobal.ml