#7805: wait until all workers are started before collecting their PIDs
2 files changed