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.

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 #94 #95

Merged
merged 1 commit into from
Sep 24, 2016
Merged

Fix #94 #95

merged 1 commit into from
Sep 24, 2016

Conversation

vqhuy
Copy link
Member

@vqhuy vqhuy commented Sep 24, 2016

It should fix #94.

@vqhuy vqhuy mentioned this pull request Sep 24, 2016
Closed
@liamsi
Copy link
Member

liamsi commented Sep 24, 2016

LGTM

liamsi
liamsi approved these changes Sep 24, 2016
View reviewed changes
Copy link
Member

@liamsi liamsi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this one is OK to be merged even without waiting for another approval.

@vqhuy vqhuy merged commit a4cd4e1 into master Sep 24, 2016
@vqhuy
Copy link
Member Author

vqhuy commented Sep 24, 2016

I think so. Merged in a4cd4e1.

@vqhuy vqhuy deleted the deadlock branch September 24, 2016 22:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@liamsi liamsi liamsi approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Server "deadlock"
2 participants
@vqhuy @liamsi