[tor-commits] [tor/master] Ensure worker threads actually exit when it is time