[jira] [Created] (FLINK-8931) TASK_KILLING is not covered by match in TaskMonitor#whenUnhandled

[Shang Yuanchun (Jira)]

Ted Yu created FLINK-8931:
-----------------------------

             Summary: TASK_KILLING is not covered by match in TaskMonitor#whenUnhandled
                 Key: FLINK-8931
                 URL: https://issues.apache.org/jira/browse/FLINK-8931
             Project: Flink
          Issue Type: Bug
            Reporter: Ted Yu


Noticed the following :
{code}
[WARNING] /a/flink-1.3.3/flink-mesos/src/main/scala/org/apache/flink/mesos/scheduler/TaskMonitor.scala:157: warning: match may not be exhaustive.
[WARNING] It would fail on the following input: TASK_KILLING
[WARNING]       msg.status().getState match {
[WARNING]                    ^
[WARNING] /a/flink-1.3.3/flink-mesos/src/main/scala/org/apache/flink/mesos/scheduler/TaskMonitor.scala:170: warning: match may not be exhaustive.
[WARNING] It would fail on the following input: TASK_KILLING
[WARNING]       msg.status().getState match {
[WARNING]                    ^
{code}
It seems that TASK_KILLING should be covered by the last case.



--
This message was sent by Atlassian JIRA
(v7.6.3#76005)