trivial connection logging
commit369918a62caf1e31f7c0f9c93cd743436d39031b
authorLucian Wischik <ljw@fb.com>
Thu, 9 Jul 2020 03:40:07 +0000 (8 20:40 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 9 Jul 2020 03:43:26 +0000 (8 20:43 -0700)
tree55c45df5dd0930be73c42bf2d81743542f9181ed
parent12887a024b2eebeb1588e4b3d101dfe24d076753
trivial connection logging

Summary:
I'm trying to track down connection issues between client/server/monitor.

I recently introduced a "monitor connection id" on the client side so that I can correlate each interaction with from the client to the monitor. This diff adds logging of that id to a few places that were missing it.

Reviewed By: arxanas

Differential Revision: D22384367

fbshipit-source-id: 79c4ad07f353bcb68fc2179cd56f6c5eb5e840ec
hphp/hack/src/client/clientConnect.ml