Skip to content

Use PDEATHSIG to kill cli-server workers if parent exits#9476

Closed
iluuu1994 wants to merge 3 commits intophp:masterfrom
iluuu1994:cli-server-pdeathsig
Closed

Use PDEATHSIG to kill cli-server workers if parent exits#9476
iluuu1994 wants to merge 3 commits intophp:masterfrom
iluuu1994:cli-server-pdeathsig

Commits

Commits on Sep 2, 2022

Commits on Sep 3, 2022