devel_generate_batch_finished($success, $results, $operations)sites/all/modules/devel/devel_generate_batch.inc, line 59
<?php
function devel_generate_batch_finished($success, $results, $operations) {
if ($success) {
$message = t('Finished @num_nids nodes created successfully.', array('@num_nids' => $results['num_nids']));
}
else {
$message = t('Finished with an error.');
}
drupal_set_message($message);
}
?>