?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: aa1169d) | patch
remove unused field from ServerCommandTypes.DIAGNOSTIC
commit5befc1e5d1e126281ec37dd6a67edefc0d4024d2
authorCatherine Gasnier <catg@fb.com>
Mon, 21 Jun 2021 10:37:57 +0000 (21 03:37 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 21 Jun 2021 10:39:45 +0000 (21 03:39 -0700)
tree0c9d29f6bd74b3d59990b3e3389f47918f08d251tree | snapshot (tar.gz zip)
parentaa1169d9d081ae449e75bb873a2a2de4dbf6c46dcommit | diff
remove unused field from ServerCommandTypes.DIAGNOSTIC

Summary: The first field containing the diagnostic subscription id is not used, so removing it.

Reviewed By: Wilfred

Differential Revision: D29163349

fbshipit-source-id: 43831f94ea226f309ad56ca626d743c3159a923f
hphp/hack/src/client/clientLsp.ml diff | blob | blame | history
hphp/hack/src/server/serverCommandTypes.ml diff | blob | blame | history
hphp/hack/src/server/serverMain.ml diff | blob | blame | history
hphp/hack/test/integration_ml/integration_test_base.ml diff | blob | blame | history