Public Git Hosting - hiphop-php.git/commit

commit	db5472415358a5d6bc18d2f8ac1bcf79a946c8fa
author	Lucian Wischik <ljw@fb.com>
	Thu, 9 Jul 2020 03:40:07 +0000 (8 20:40 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Thu, 9 Jul 2020 03:54:37 +0000 (8 20:54 -0700)
tree	b677c93d01a1fb8b2b0100c669309b10b352c36e	tree \| snapshot (tar.gz zip)
parent	e61f8f5a955bac645d5b1093512250ac7b1b1089	commit \| diff

switch Connection_tracker to Telemetry.t

Summary:
2BitSalute asked why Connection_tracker isn't using Telemetry.t

Indeed I guess it should have been. I've therefore changed it.

Reviewed By: CatherineGasnier

Differential Revision: D22426563

fbshipit-source-id: 0c714806a46fa34281299d8fc3ad21b14e63378c

RSS Atom

hphp/hack/src/client/clientConnect.ml		diff \| blob \| blame \| history
hphp/hack/src/client/clientLsp.ml		diff \| blob \| blame \| history
hphp/hack/src/monitor/monitorConnection.ml		diff \| blob \| blame \| history
hphp/hack/src/monitor/serverMonitor.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverClientProvider.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverCommand.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverMain.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/connection_tracker.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/connection_tracker.mli		diff \| blob \| blame \| history