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.

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

fix #717: tile38_expired_keys and several other metrics not returned #718

Merged

Conversation

undeadcat
Copy link
Contributor

@undeadcat undeadcat commented Feb 12, 2024

Please ensure you adhere to every item in this list

  • This PR was pre-approved by the project maintainer
  • I have self-reviewed the code
  • I have added all necessary tests

Describe your changes

  • statsExpired was never incremented
  • tile38_expired_keys and some other metrics (seems like tile38_total_messages_sent) were never returned because int64 values were never handled int Prometheus endpoint (metrics.go).

This is my first PR here and in Go. Apologies if something is not typical or idiomatic :-)
Feel free to close and rewrite if easier :-) Mostly wanted to illustrate the cause of the issue, as I understand it.

Issue number and link

Fixes #717

expired_keys never incremented
additional metrics not returned from metrics endpoint
@undeadcat undeadcat force-pushed the bugfix-expired-metric-not-returned branch from 7e566f2 to c78c8b4 Compare February 12, 2024 20:26
@undeadcat undeadcat marked this pull request as ready for review February 12, 2024 20:29
@tidwall tidwall merged commit a75ea88 into tidwall:master Feb 15, 2024
1 check passed
@tidwall
Copy link
Owner

tidwall commented Feb 15, 2024

I'm good with your code as-is. Thanks!

@undeadcat undeadcat deleted the bugfix-expired-metric-not-returned branch February 15, 2024 06:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

tile38_expired_keys is never returned
2 participants