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

Handle socket disconnection as gracefully as possible #470

Closed
wants to merge 1 commit into from

Conversation

linkmauve
Copy link
Member

By telling all windows to close.
Also merge both PollEvents and WaitEvents.

@linkmauve
Copy link
Member Author

Addressed the comments left to e5f48e2.

@jadahl
Copy link
Member

jadahl commented Mar 26, 2015

Thanks! With a minor tweak to the commit message your patch was pushed as:
5268914..4974585 master -> master

@jadahl jadahl closed this Mar 26, 2015
@elmindreda elmindreda added this to the 3.2 milestone Apr 7, 2015
@elmindreda elmindreda modified the milestones: 3.2, 3.1.2 Jun 7, 2015
@linkmauve linkmauve deleted the wayland-disconnect branch June 12, 2015 19:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants