Public Git Hosting - hiphop-php.git/commit

commit	aae155ee49c9084f1f7fc9c8c1d10953f3dff406
author	Lucian Wischik <ljw@fb.com>
	Mon, 24 Jan 2022 18:22:12 +0000 (24 10:22 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Mon, 24 Jan 2022 18:24:57 +0000 (24 10:24 -0800)
tree	6bba812cba5b4d97a5c2ae047548a6e0bd299974	tree \| snapshot (tar.gz zip)
parent	62cf8d304f783794a3631a40383b82a00a730b0b	commit \| diff

process size of ServerMain

Reviewed By: CatherineGasnier

Differential Revision: D33695900

fbshipit-source-id: 08fb85cc1d7798e23dce22b8b1dc666f05c01b97

hphp/hack/src/server/serverTypeCheck.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/procfs/procFS.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/procfs/procFS.mli		diff \| blob \| blame \| history