tree 99088a383118a8c57e310ada3cff6d3c2f445065
parent 69f9b3bfa4ecee87cf95a6a8dc18c4a62ec126f9
author William Lallemand <wlallemand@haproxy.com> 1496331535 +0200
committer Willy Tarreau <w@1wt.eu> 1496393792 +0200
encoding latin1

MEDIUM: mworker: workers exit when the master leaves

This patch ensure that the children will exit when the master quits,
even if the master didn't send any signal.

The master and the workers are connected through a pipe, when the pipe
closes the children leave.