Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add metrics for WatchDocuments and enhance pushpull metrics #1008

Merged
merged 4 commits into from
Sep 11, 2024
Merged

Add metrics for WatchDocuments and enhance pushpull metrics #1008

merged 4 commits into from
Sep 11, 2024

Commits on Sep 10, 2024

  1. Add project label and hostname label in pushpull metric

    @emplam27
    emplam27 committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    5443f10 View commit details
    Browse the repository at this point in the history

  2. Add event count and payload bytes of watch document metric. 

    - the event count is increased when client occurred watch document events.
- the payload bytes is increased when client occurred watch document events especially broadcast event.
- all metrics is labeled by project info, hostname and doc event type.
    @emplam27
    emplam27 committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    874ef57 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Fix lint issue

    @emplam27
    emplam27 committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    1e5272b View commit details
    Browse the repository at this point in the history

  2. Revise the codes

    @hackerwins
    hackerwins committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    46bcc1a View commit details
    Browse the repository at this point in the history