Batch sometimes uses undefined variable

In margin cases, when batch success happens immediately in a batch supposed to be progressive, _batch_process() uses $finished as part of the computation of $current although it was never defined since the while(=current_set['success']) loop was never entered.

This variable should be initialized outside that loop.