Backout "Get watchman updates via subscription rather than polling"
commit673b32a8c6b5dd40cc79678dd67e986d524a5be4
authorJez Ng <jezng@fb.com>
Thu, 10 Dec 2015 03:30:51 +0000 (9 19:30 -0800)
committerhhvm-bot <hhvm-bot@fb.com>
Thu, 10 Dec 2015 04:00:41 +0000 (9 20:00 -0800)
tree4aa78409aa5be03dabaac4bff6d3abd8d36aeaca
parente9f4ba5e96df2aba12834735e61a468b4fcfabce
Backout "Get watchman updates via subscription rather than polling"

Summary:
We don't seem to be getting all the updates we should. I suspect this
may be triggered when the same file is changed multiple times in quick
succession; we seem to be getting only one update even if the file is changed
again shortly after that update.

Backing out for now to unblock the deploy.

Reviewed By: dlreeves

Differential Revision: D2742519

fb-gh-sync-id: 3dac6bf3c44fa7ea0f5b5ea756f8498be90a6bea
hphp/hack/src/server/serverEnvBuild.ml
hphp/hack/src/watchman/watchman.ml
hphp/hack/src/watchman/watchman.mli