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

Exit Dispose early if reader is already disposed #18572

Merged
merged 1 commit into from
Oct 25, 2019
Merged

Conversation

roji
Copy link
Member

@roji roji commented Oct 24, 2019

Otherwise calling Close followed by Dispose generates an exception internally, bad for perf and for the debugging experience.

Fixes #18307

Otherwise calling Close followed by Dispose generates an exception
internally, bad for perf and for the debugging experience.

Fixes #18307
@roji roji merged commit 6148e6b into release/3.1 Oct 25, 2019
@roji roji deleted the NoMoreDoubleDispose branch October 25, 2019 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants