Github user tillrohrmann commented on a diff in the pull request: https://github.com/apache/flink/pull/5184#discussion_r160106268 --- Diff: flink-runtime/src/main/java/org/apache/flink/runtime/jobmaster/JobMaster.java --- @@ -936,17 +936,19 @@ private void jobStatusChanged( final JobID jobID = executionGraph.getJobID(); --- End diff -- No longer the case with your changes.
---