scheduler: don't crash if we have no agents