[GitHub] flink pull request #6154: [FLINK-9573] Extend LeaderElectionService#hasLeade...

2018-06-14 Thread zhangminglei
Github user zhangminglei commented on a diff in the pull request: https://github.com/apache/flink/pull/6154#discussion_r195613671 --- Diff: flink-runtime/src/main/java/org/apache/flink/runtime/highavailability/nonha/embedded/EmbeddedLeaderService.java --- @@ -356,8 +357,8 @@

[GitHub] flink pull request #6154: [FLINK-9573] Extend LeaderElectionService#hasLeade...

2018-06-14 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/6154 ---

[GitHub] flink pull request #6154: [FLINK-9573] Extend LeaderElectionService#hasLeade...

2018-06-14 Thread tillrohrmann
Github user tillrohrmann commented on a diff in the pull request: https://github.com/apache/flink/pull/6154#discussion_r195359921 --- Diff: flink-runtime/src/main/java/org/apache/flink/runtime/highavailability/nonha/embedded/EmbeddedLeaderService.java --- @@ -356,8 +357,8 @@

[GitHub] flink pull request #6154: [FLINK-9573] Extend LeaderElectionService#hasLeade...

2018-06-12 Thread zhangminglei
Github user zhangminglei commented on a diff in the pull request: https://github.com/apache/flink/pull/6154#discussion_r194938580 --- Diff: flink-runtime/src/main/java/org/apache/flink/runtime/highavailability/nonha/embedded/EmbeddedLeaderService.java --- @@ -356,8 +357,8 @@

[GitHub] flink pull request #6154: [FLINK-9573] Extend LeaderElectionService#hasLeade...

2018-06-12 Thread tillrohrmann
GitHub user tillrohrmann opened a pull request: https://github.com/apache/flink/pull/6154 [FLINK-9573] Extend LeaderElectionService#hasLeadership to take leader session id ## What is the purpose of the change The new `LeaderElectionService#hasLeadership` also takes the