Decrement num_workers when exiting worker_thread() under _any_ circumstances.