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

Introduce JedisClientConfigBuilderCustomizer to support client config customization #3014

Closed
wants to merge 2 commits into from

Conversation

mp911de
Copy link
Member

@mp911de mp911de commented Oct 10, 2024

We now support customization of Jedis' JedisClientConfig that is used for various client configurations for setting extended properties that Spring Data Redis doesn't configure itself.

Closes #3007

…ig customization.

We now support customization of Jedis' JedisClientConfig that is used for various client configurations for setting extended properties that Spring Data Redis doesn't configure itself.

Closes #3007
@mp911de mp911de added the type: enhancement A general enhancement label Oct 10, 2024
christophstrobl pushed a commit that referenced this pull request Oct 10, 2024
…ig customization.

We now support customization of Jedis' JedisClientConfig that is used for various client configurations for setting extended properties that Spring Data Redis doesn't configure itself.

Closes: #3007
Original Pull Request: #3014
@christophstrobl christophstrobl deleted the issue/3007 branch October 10, 2024 09:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement A general enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add builder customizer for DefaultJedisClientConfig.Builder
2 participants