Remove unused drush_set_option().

weitzman · weitzman · commit b34d2b1f9d92 · 2018-11-09T22:07:53.000-05:00
diff --git a/includes/batch.inc b/includes/batch.inc
@@ -360,7 +360,6 @@ function _drush_batch_finished() {
   }
   $_batch = $batch;
   $batch = NULL;
-  drush_set_option('drush_batch_process_finished', TRUE);
   $results['drush_batch_process_finished'] = TRUE;
 
   return $results;

Original file line number	Diff line number	Diff line change
`@@ -360,7 +360,6 @@ function _drush_batch_finished() {`
`360`	`360`	`}`
`361`	`361`	`$_batch = $batch;`
`362`	`362`	`$batch = NULL;`
`363`		`- drush_set_option('drush_batch_process_finished', TRUE);`
`364`	`363`	`$results['drush_batch_process_finished'] = TRUE;`
`365`	`364`
`366`	`365`	`return $results;`