Replace reading of log files with sending messages through monitor
commitbcf03eed2483c4d59ea1fc38a59b5665c3365c9f
authorKasper Kopec <kasper@fb.com>
Tue, 18 Dec 2018 01:05:21 +0000 (17 17:05 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Tue, 18 Dec 2018 01:08:27 +0000 (17 17:08 -0800)
tree2851349b969aec6cee0877c0a9628965f27fa955
parent02e3c61aaa0bbe2f44b3d924695ae774a4b7b78d
Replace reading of log files with sending messages through monitor

Summary: Use the newly added monitor RPC command instead of scraping the logs.

Reviewed By: ljw1004

Differential Revision: D13448059

fbshipit-source-id: c58d1a924587b0853b8a194a457e6e463c421a18
13 files changed:
hphp/hack/src/client/clientConnect.ml
hphp/hack/src/client/clientLsp.ml
hphp/hack/src/monitor/serverProgress.ml
hphp/hack/src/monitor/serverProgress.mli
hphp/hack/src/server/cstSearchService.ml
hphp/hack/src/server/serverEagerInit.ml
hphp/hack/src/server/serverInitCommon.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/server/serverMain.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/src/utils/sys/tail.ml [deleted file]
hphp/hack/src/utils/sys/tail.mli [deleted file]
hphp/hack/test/integration/saved_state_test_driver.py