Parse dmesg when we die to determine if it was the OOM killer
commit4ca47781a8c2dd95938eccbc44abf097470fcaaa
authorJez Ng <jezng@fb.com>
Sun, 13 Sep 2015 03:46:44 +0000 (12 20:46 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Sun, 13 Sep 2015 04:00:25 +0000 (12 21:00 -0700)
tree9a18608106b0a9bffb438c48bdd92ac2ccf91e9c
parent32a789bb1f62418f1a7d7a8e4f37022cefcc5c4a
Parse dmesg when we die to determine if it was the OOM killer

Reviewed By: @dlreeves, @​bpr

Differential Revision: D2436975
hphp/hack/src/build.ocp
hphp/hack/src/server/serverMain.ml
hphp/hack/src/server/serverMonitor.ml [new file with mode: 0644]
hphp/hack/src/stubs/hackEventLogger.ml
hphp/hack/src/typing/typing_dependent_type.ml
hphp/hack/src/utils/sys_utils.ml
hphp/hack/test/unit/server_tests.ml [new file with mode: 0644]