[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 


---