[GitHub] flink pull request #4987: [FLINK-8029] Create WebMonitorEndpoint

2017-12-14 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/4987 ---

[GitHub] flink pull request #4987: [FLINK-8029] Create WebMonitorEndpoint

2017-12-13 Thread tillrohrmann
Github user tillrohrmann commented on a diff in the pull request: https://github.com/apache/flink/pull/4987#discussion_r156722826 --- Diff: flink-runtime/src/main/java/org/apache/flink/runtime/jobmaster/JobMaster.java --- @@ -757,6 +775,64 @@ public void

[GitHub] flink pull request #4987: [FLINK-8029] Create WebMonitorEndpoint

2017-12-08 Thread GJL
Github user GJL commented on a diff in the pull request: https://github.com/apache/flink/pull/4987#discussion_r155804733 --- Diff: flink-runtime/src/main/java/org/apache/flink/runtime/jobmaster/JobMaster.java --- @@ -757,6 +775,64 @@ public void heartbeatFromResourceManager(final

[GitHub] flink pull request #4987: [FLINK-8029] Create WebMonitorEndpoint

2017-12-08 Thread GJL
Github user GJL commented on a diff in the pull request: https://github.com/apache/flink/pull/4987#discussion_r155802027 --- Diff: flink-runtime/src/main/java/org/apache/flink/runtime/metrics/MetricRegistry.java --- @@ -27,8 +27,6 @@ /** * Interface for a metric

[GitHub] flink pull request #4987: [FLINK-8029] Create WebMonitorEndpoint

2017-11-08 Thread tillrohrmann
GitHub user tillrohrmann opened a pull request: https://github.com/apache/flink/pull/4987 [FLINK-8029] Create WebMonitorEndpoint ## What is the purpose of the change The WebMonitorEndpoint is the common rest endpoint used for serving the web frontend REST calls. It will