Skip to content
Snippets Groups Projects
Commit 1ce6c869 authored by Javier Herrero's avatar Javier Herrero
Browse files

Fix bug: calls kill_worker when --killworker option is used

parent c4d0220e
No related branches found
No related tags found
No related merge requests found
...@@ -148,6 +148,10 @@ if ($loopit) { ...@@ -148,6 +148,10 @@ if ($loopit) {
$queen->get_num_needed_workers($analysis); $queen->get_num_needed_workers($analysis);
$queen->get_hive_progress(); $queen->get_hive_progress();
} elsif ($self->{'kill_worker_id'}) {
kill_worker($self, $queen);
} else { } else {
$queen->synchronize_hive() if($sync); $queen->synchronize_hive() if($sync);
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment