Fix race: delete worker options file only after workers exit - #22020

Fix race: delete worker options file only after workers exit#22020

Dextheking1 wants to merge 1 commit into

python:masterpython/mypy:masterfrom

Dextheking1:fix/worker-options-raceDextheking1/mypy:fix/worker-options-raceCopy head branch name to clipboard