Worker_oomed also logged as is_oom
commit0d2dd1c3e61bbcbe8a5d7ea932881642cccadd99
authorAlexander Chow <achow@fb.com>
Wed, 25 Apr 2018 00:47:05 +0000 (24 17:47 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 25 Apr 2018 01:22:39 +0000 (24 18:22 -0700)
tree3f6c99af5535179fee843fa120bb3da1cea156e8
parent32ca08374b92b04d2492b56dc90bb7b10559b711
Worker_oomed also logged as is_oom

Summary: Worker_oomed also logged as is_oom

Reviewed By: dabek

Differential Revision: D7734421

fbshipit-source-id: bec0a87d7ee051af8a304d7a96fac19877931a27
hphp/hack/src/monitor/serverProcessTools.ml