GitHub user nellboy opened a pull request:
https://github.com/apache/flink/pull/3369
[FLINK-5831] [webui] order, search and filter metrics
Metrics are now ordered, and searchable when displaying which metrics
graphs to display in the web ui.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/nellboy/flink webui/metrics-filtering
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/3369.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #3369
----
commit 730e7b6d3b35855d93049e48850ca5919f7db968
Author: paul <[email protected]>
Date: 2017-02-20T09:28:14Z
[FLINK-5831] [webui] sort metrics by id
commit 45f5c565d9a805f78c40ed8ad7cc497aaf5c438f
Author: paul <[email protected]>
Date: 2017-02-20T17:27:13Z
[FLINK-5831] [webui] order, search and filter metrics
----
---
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 have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
