Do not send the same unchanged errors on every keystroke
commit4a3c94f91fba4567de4e3eabb958176e25e00231
authorKasper Kopec <kasper@fb.com>
Tue, 28 Mar 2017 00:56:46 +0000 (27 17:56 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Tue, 28 Mar 2017 01:00:29 +0000 (27 18:00 -0700)
tree4ec71ddee0b85266c0e4f03c1b3ee0d5654741d5
parent73558444a49ae6d56bc8840402d86b3f1de1edb9
Do not send the same unchanged errors on every keystroke

Summary: Nuclide is choking on them (I think there has been some regression?) - processing them on Hack side works much better.

Reviewed By: ljw1004

Differential Revision: D4775042

fbshipit-source-id: d74851eb8869e6dc98167f4e28203f96fec8727f
hphp/hack/src/server/diagnostic_subscription.ml