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

Close session on exception #707

Merged
merged 1 commit into from
Dec 26, 2015
Merged

Close session on exception #707

merged 1 commit into from
Dec 26, 2015

Conversation

asvetlov
Copy link
Member

Fix for #612

asvetlov added a commit that referenced this pull request Dec 26, 2015
@asvetlov asvetlov merged commit 59453d8 into master Dec 26, 2015
@asvetlov asvetlov deleted the close_session_on_err branch December 26, 2015 14:53
@lock
Copy link

lock bot commented Oct 29, 2019

This thread has been automatically locked since there has not been
any recent activity after it was closed. Please open a new issue for
related bugs.

If you feel like there's important points made in this discussion,
please include those exceprts into that new issue.

@lock lock bot added the outdated label Oct 29, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Oct 29, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant