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

More redis updates #1329

Merged
merged 2 commits into from
Jun 5, 2024
Merged

More redis updates #1329

merged 2 commits into from
Jun 5, 2024

Commits on Jun 5, 2024

  1. Rename RedisPool to RedisManager 

    Now that our redis backends are not always pooled,
having `Pool` in the name is sort of confusing, so
rename the type to something a bit more generic.
    @jaymell
    jaymell committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    38b2981 View commit details
    Browse the repository at this point in the history

  2. Refactor redis helper functions into methods 

    This is slightly less error-prone, since the caller no longer has
to specify whether to create a pooled or unpooled manager, and it's
also less repetitive.
    @jaymell
    jaymell committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    88a3e7a View commit details
    Browse the repository at this point in the history