[GitHub] flink issue #5808: [FLINK-8835] [taskmanager] Fix TaskManager config keys

2018-04-06 Thread zentol
Github user zentol commented on the issue: https://github.com/apache/flink/pull/5808 merging. ---

[GitHub] flink issue #5808: [FLINK-8835] [taskmanager] Fix TaskManager config keys

2018-04-05 Thread zhangminglei
Github user zhangminglei commented on the issue: https://github.com/apache/flink/pull/5808 Thanks @zentol for review. 👍 ---

[GitHub] flink issue #5808: [FLINK-8835] [taskmanager] Fix TaskManager config keys

2018-04-04 Thread zhangminglei
Github user zhangminglei commented on the issue: https://github.com/apache/flink/pull/5808 Hi, @zentol I have updated the code based on your suggestions. Could you can take another look when available ? ---

[GitHub] flink issue #5808: [FLINK-8835] [taskmanager] Fix TaskManager config keys

2018-04-03 Thread zhangminglei
Github user zhangminglei commented on the issue: https://github.com/apache/flink/pull/5808 cc @StephanEwen @aljoscha ---