Details
Description
Currently, when a task is killed, the default/command/docker executor incorrectly send a TASK_FINISHED status update instead of TASK_KILLED. This is due to an unfortunate missed conditional check when the task exits with a zero status code.
if (WSUCCEEDED(status)) { taskState = TASK_FINISHED; } else if (killed) { // Send TASK_KILLED if the task was killed as a result of // kill() or shutdown(). taskState = TASK_KILLED; } else { taskState = TASK_FAILED; }
We should modify the code to correctly send TASK_KILLED status updates when a task is killed.