Public Git Hosting - hiphop-php.git/commit

commit	fc4d4d48f6db71b4e02553ead694a69d7adcefb9
author	Lucian Wischik <ljw@fb.com>
	Tue, 2 Mar 2021 07:43:55 +0000 (1 23:43 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 2 Mar 2021 07:46:13 +0000 (1 23:46 -0800)
tree	a320717c85bb01e3bef759eba8508fa83e00c574	tree \| snapshot (tar.gz zip)
parent	9e77a5a5453926ab03af3f958862d38872d2779f	commit \| diff

don't reconnect to hh_server upon notification

Reviewed By: Wilfred

Differential Revision: D26709015

fbshipit-source-id: 8796e5a961a47b517991e25e8dd4f14b3c1f0b75