Shivaram Lingamneni ed75533cb1 optionally protect against multiple starts with flock (#1873) ... * optionally protect against multiple starts with flock Fixes #1823 * use traditional .lock extension * move config key to top level		2022-01-01 18:56:40 -05:00
..
flock	optionally protect against multiple starts with flock (#1873)	2022-01-01 18:56:40 -05:00