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

bug fix in gate #17

Merged
merged 1 commit into from Jun 16, 2013
Merged

bug fix in gate #17

merged 1 commit into from Jun 16, 2013

Conversation

footer
Copy link
Contributor

@footer footer commented Jun 16, 2013

socket may be closed by a previous event's processing.

cloudwu added a commit that referenced this pull request Jun 16, 2013
@cloudwu
Merge pull request #17 from footer/master
0e34fdd 
bug fix in gate
@cloudwu cloudwu merged commit 0e34fdd into cloudwu:master Jun 16, 2013
@flashjay flashjay mentioned this pull request Apr 26, 2014
Closed
@alpha2z alpha2z mentioned this pull request Jun 18, 2014
Closed
@adzhang adzhang mentioned this pull request Feb 16, 2015
Closed
@twohouses twohouses mentioned this pull request Mar 11, 2015
Closed
@iskygame iskygame mentioned this pull request Mar 26, 2015
Closed
@yibiaochen yibiaochen mentioned this pull request Nov 11, 2015
Closed
@szoyj szoyj mentioned this pull request Jan 20, 2016
Closed
@Jexocn Jexocn mentioned this pull request May 10, 2016
Closed
@yingnierxiao yingnierxiao mentioned this pull request Dec 1, 2016
Closed
@jxfzlmb jxfzlmb mentioned this pull request Mar 11, 2017
Closed
@ghost319 ghost319 mentioned this pull request Mar 14, 2017
Closed
@kueiwoodwolf kueiwoodwolf mentioned this pull request Sep 6, 2017
Closed
@sue602 sue602 mentioned this pull request Apr 4, 2018
Closed
@hanyu363 hanyu363 mentioned this pull request Apr 4, 2018
Closed
@xzzwandi xzzwandi mentioned this pull request Apr 10, 2018
Closed
@chengdd1987 chengdd1987 mentioned this pull request May 2, 2018
Closed
@Yanjinux Yanjinux mentioned this pull request Jul 30, 2018
Closed
@DeanHH DeanHH mentioned this pull request Aug 23, 2018
Closed
@sendysucc sendysucc mentioned this pull request Dec 20, 2018
Closed
@LokerLi LokerLi mentioned this pull request Nov 6, 2019
Closed
@kuro-karasu kuro-karasu mentioned this pull request Jul 27, 2020
Closed
@Dear-u Dear-u mentioned this pull request Dec 16, 2020
Closed
@HappyMiluo HappyMiluo mentioned this pull request Mar 6, 2021
Closed
@princeyuaner princeyuaner mentioned this pull request Jul 12, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@footer @cloudwu