function _w3c_validator_site_batch_finish in W3C Validator 6

Redirect the user to the validation results when the batch finishes.

Parameters

string $success:

string $results:

string $operations:

Return value

void

1 string reference to '_w3c_validator_site_batch_finish'

w3c_validator_site_get_validation_batch in ./w3c_validator_site.module

Creates a batch array from a result set to be used with the batch api.

File

./w3c_validator_site.module, line 163

Main module file for w3c validator site.

Code

function _w3c_validator_site_batch_finish($success, $results, $operations) {
  $batch =& batch_get();
  $rsid = $batch['sets'][0]['rsid'];
  $batch['redirect'] = 'admin/content/validator/results/' . $rsid;
}