Skip to content

Close session on exception#707

Merged
asvetlov merged 1 commit intomasterfrom
close_session_on_err
Dec 26, 2015
Merged

Close session on exception#707
asvetlov merged 1 commit intomasterfrom
close_session_on_err

Conversation

@asvetlov
Copy link
Copy Markdown
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
Copy Markdown

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