Lines Matching refs:kill_children
1484 kill_children($workerProcs);
1493 kill_children($workerProcs);
1512 kill_children($workerProcs);
1518 kill_children($workerProcs);
1524 kill_children($workerProcs);
1555 kill_children($workerProcs);
1571 kill_children($workerProcs);
1667 kill_children($workerProcs);
1671 kill_children($workerProcs);
1693 kill_children($workerProcs);
1705 kill_children($workerProcs);
1720 function kill_children(array $children): void function
