Public Git Hosting - hiphop-php.git/commit

commit	529e5545c12fe8c2cde7b46c440c655b6a0fc730
author	Wilfred Hughes <wilfred@fb.com>
	Thu, 10 Mar 2022 22:34:43 +0000 (10 14:34 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Thu, 10 Mar 2022 22:34:43 +0000 (10 14:34 -0800)
tree	c713259faab06a1aec97479c9c9bbd159c5a75bb	tree \| snapshot (tar.gz zip)
parent	1d29718fdf54899ee02a0859cfa46a9a54112048	commit \| diff

Log to stderr if a monitor lock file exists

Reviewed By: ljw1004

Differential Revision: D34771406

fbshipit-source-id: 41f3ef0513c6ccb9c92c2cebced19aa87e88b029