fixed a bug in computing num_required_workers according to the new rules (thanks Matthieu for reporting)
Attach a file by drag & drop or click to upload
