[GitHub] flink pull request #6132: [FLINK-9456][Distributed Coordination]Let Resource...

[tillrohrmann]

Github user tillrohrmann commented on a diff in the pull request:

    https://github.com/apache/flink/pull/6132#discussion_r198491021
  
    --- Diff: 
flink-runtime/src/main/java/org/apache/flink/runtime/jobmaster/JobMasterGateway.java
 ---
    @@ -278,4 +279,13 @@ void heartbeatFromTaskManager(
         * not available (yet).
         */
        CompletableFuture<OperatorBackPressureStatsResponse> 
requestOperatorBackPressureStats(JobVertexID jobVertexId);
    +
    +   /**
    +    * Notifies that the task manager has terminated.
    +    *
    +    * @param resourceID identifying the task manager
    +    * @param allocationIDs held by this job that belong to the task manager
    --- End diff --
    
    I think this parameter is not needed.


---