[tor-commits] [metrics-web/master] Try harder to avoid concurrent runs.