Skip to content
This repository has been archived by the owner on Jan 29, 2020. It is now read-only.

Redis fixes #151

Merged
merged 3 commits into from
Apr 18, 2018
Merged

Redis fixes #151

merged 3 commits into from
Apr 18, 2018

Conversation

thomasvargiu
Copy link
Contributor

Fixed #109, #137
Fixed resource check on RedisResourceManager.
Fixed normalization of libOptions, normalizing them on resource initialization.

@weierophinney weierophinney merged commit 390dfff into zendframework:develop Apr 18, 2018
weierophinney added a commit that referenced this pull request Apr 18, 2018
@weierophinney
Merge pull request #151 from thomasvargiu/fix/redis
d71c1b8 
Redis fixes
weierophinney added a commit that referenced this pull request Apr 18, 2018
@weierophinney
Adds CHANGELOG entries for #151
862c6bd
weierophinney added a commit that referenced this pull request Apr 18, 2018
@weierophinney
Merge branch 'feature/151' into develop
04839aa 
Close #151
Fixes #109
Fixes #137
@weierophinney
Copy link
Member

Thanks, @thomasvargiu!

@samsonasik samsonasik mentioned this pull request Apr 23, 2018
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@thomasvargiu @weierophinney