Pushing back diagnostics to persistent client
commitf8ee8532dc6aa88fdec418a7673a5f151917615f
authorYue Li <yueli@fb.com>
Sat, 6 Aug 2016 03:09:33 +0000 (5 20:09 -0700)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Mon, 8 Aug 2016 17:46:40 +0000 (8 10:46 -0700)
treeccd844c466e01a172e6479596d7823b8b7b8bea1
parent889a53830df9f1fd822d13e4e87fc75420186ba7
Pushing back diagnostics to persistent client

Summary:
- Add the feature of subscribe/unsubscribe diagnostics to persisitent connection
- Add unit test and integration test for the newly added feature
- Protocol for diagnostic notifications can be found at [[ https://fb.quip.com/aAdAAUEzEYpO | here ]]

Reviewed By: dabek

Differential Revision: D3621476

fbshipit-source-id: b184eb54ade742e3005c188483dcaae127b094f3
14 files changed:
hphp/hack/src/client/clientIde.ml
hphp/hack/src/server/ideJson.ml
hphp/hack/src/server/ideJsonUtils.ml
hphp/hack/src/server/serverEnv.ml
hphp/hack/src/server/serverEnvBuild.ml
hphp/hack/src/server/serverError.ml
hphp/hack/src/server/serverMain.ml
hphp/hack/src/server/serverRpc.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/src/utils/diagnostic_subscription.ml [new file with mode: 0644]
hphp/hack/src/utils/diagnostic_subscription.mli [new file with mode: 0644]
hphp/hack/src/utils/file_content.ml
hphp/hack/test/integration/common_tests.py
hphp/hack/test/unit/ide/ide_json_test.ml