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

Fix to rare deadlock in Streaming plugin (see #2115) #2141

Merged

lminiero merged 1 commit into master from streaming-deadlock

May 7, 2020

Member

lminiero commented May 5, 2020

See #2115 (comment) for context. Only partly tested, so WIP until we can confirm it fixes the issue with no regression to #2115 itself.


          Fix to rare deadlock in Streaming plugin (see #2115)

915203c

Member Author

lminiero commented May 7, 2020

Merging.

lminiero merged commit 57e47dc into master

lminiero deleted the streaming-deadlock branch

May 7, 2020 07:29

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment