[GitHub] flink issue #2451: [FLINK-4535] [cluster management] resourceManager process...

2016-09-22 Thread mxm
Github user mxm commented on the issue: https://github.com/apache/flink/pull/2451 This has been merged to `flip-6`. Could you please close the PR? --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. If your project does not

[GitHub] flink issue #2451: [FLINK-4535] [cluster management] resourceManager process...

2016-09-21 Thread mxm
Github user mxm commented on the issue: https://github.com/apache/flink/pull/2451 Thank you for the pull request! I've rebased the changes and will merge them to the master. --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as

[GitHub] flink issue #2451: [FLINK-4535] [cluster management] resourceManager process...

2016-09-06 Thread beyond1920
Github user beyond1920 commented on the issue: https://github.com/apache/flink/pull/2451 @tillrohrmann , thanks for your review. I changed the pr based on your advice, including : 1. Modify UnmatchedLeaderSessionIDException to LeaderSessionIDException, format code style and

[GitHub] flink issue #2451: [FLINK-4535] [cluster management] resourceManager process...

2016-09-02 Thread tillrohrmann
Github user tillrohrmann commented on the issue: https://github.com/apache/flink/pull/2451 Thanks for the contribution @beyond1920. I've had some minor inline comments. After addressing them, it should be good to merge. --- If your project is set up for it, you can reply to this