Skip to content
Snippets Groups Projects
Commit 15234476 authored by Morris Jette's avatar Morris Jette
Browse files

Fix for bad commit

a hostlist_push() was changed to hostlist_push_host_host() rather
than just hostlist_push_host
See commit 1b0b135f
parent 26a149bb
No related branches found
No related tags found
No related merge requests found
...@@ -2645,7 +2645,7 @@ extern void re_kill_job(struct job_record *job_ptr) ...@@ -2645,7 +2645,7 @@ extern void re_kill_job(struct job_record *job_ptr)
} }
} }
} else if (!IS_NODE_NO_RESPOND(front_end_ptr)) { } else if (!IS_NODE_NO_RESPOND(front_end_ptr)) {
(void) hostlist_push_host_host(kill_hostlist, (void) hostlist_push_host(kill_hostlist,
job_ptr->batch_host); job_ptr->batch_host);
hostlist_push_host(agent_args->hostlist, hostlist_push_host(agent_args->hostlist,
job_ptr->batch_host); job_ptr->batch_host);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment