[GitHub] flink pull request #5744: [FLINK-8931] TASK_KILLING is not covered by match ...

2018-03-23 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/5744 ---

[GitHub] flink pull request #5744: [FLINK-8931] TASK_KILLING is not covered by match ...

2018-03-21 Thread yanghua
GitHub user yanghua opened a pull request: https://github.com/apache/flink/pull/5744 [FLINK-8931] TASK_KILLING is not covered by match in TaskMonitor#whenUnhandled ## What is the purpose of the change *This pull request makes _TASK_KILLING_ covered by match in