Fix: don't wait after completion of job batch if work queue is empty

No match.

This page took 0.031682 seconds and 3 git commands to generate.